-
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... -
Vérification de propriétés temporelles à la volée
Colloque avec actes et comité de lecture.
