swMATH12386MaRDI QIDQ24315FDOQ24315
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/meije/verification/
Cited In (23)
- Pragmatics of model checking: An STTT special section
- On process equivalence = equation solving in CCS
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Event based choreography
- Planning proofs of equations in CCS
- Bisimulation minimization and symbolic model checking
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- SIGREF
- M-TREE
- APNN-Toolbox
- Exp.Open
- CAESAR_SOLVE
- TVT
- CMC
- Concurrency Workbench
- Mec 5
- LNT2LOTOS
- VERSA
- mCRL
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Refined Interfaces for Compositional Verification
- Compositional verification of asynchronous concurrent systems using CADP
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs
This page was built for software: fc2tools
