fc2tools

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