Distributed Partial Order Reduction of State Spaces
نویسندگان
چکیده
منابع مشابه
Distributed Partial Order Reduction of State Spaces
State space explosion is a fundamental obstacle in formal verification of concurrent systems. Several techniques for combating this problem have emerged in the past few years, among which the two we are interested in are: partial order reduction and distributed memory state exploration. While the first one tries to reduce the problem to a smaller one, the other one tries to extend the computati...
متن کاملApproximations of state spaces reduced by partial order reduction
We propose a new under-approximation based technique within the scope of model checking with very efficient computation of refinements. The method is primarily designed for falsification, however it can also prove correctness of the input model. If the model contains an error, the method detects it very fast, otherwise (if the model is correct) a state space reduced by partial order reduction i...
متن کاملDistributed Branching Bisimulation Reduction of State Spaces
Enumerative model checking tools are limited by the size of the state space to which they can be applied. Reduction modulo branching bisimulation usually results in a much smaller state space and therefore enables model checking of much larger state spaces. We present an algorithm for reducing state spaces modulo branching bisimulation which is suitable for distributed implementation. The targe...
متن کاملDistributed Partial Order Reduction for Security Protocols
We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed μCRL toolset are also reported.
متن کاملPartial Order Reduction for State/Event LTL
Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL [6, 5] incorporates both states and events to express important properties of component-based software systems. The main contribution of the paper is a partial order reduction technique for ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.10.019