-
Trace Spaces: an Efficient New Technique for State-Space Reduction
International audience -
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and O...
It is desirable to integrate formal verification techniques applicable to different languages. We present EXP.OPEN 2.0, a new tool of the CADP verification toolbox... -
Distributed On-the-Fly Verification of Large State Spaces
The verification of concurrent finite-state systems is confronted in practice with the state explosion problem (prohibitive size of the underlying state space), which... -
Formal Verification of Distributed Algorithms using PlusCal-2
Designing sound algorithms for concurrent and distributed systems is subtle and challenging. These systems are prone to deadlocks and race conditions, which occur in... -
CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free...
Boolean Equation Systems (BESs) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence checking...
