fc2tools

swMATH12386MaRDI QIDQ24315FDOQ24315

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: http://www-sop.inria.fr/meije/verification/

(25)

• Advances in verification of time Petri nets and timed automata. A temporal logic approach.
• Bisimulation minimization and symbolic model checking
• Event based choreography
• Towards Performance Prediction of Compositional Models in Industrial GALS Designs
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Pragmatics of model checking: An STTT special section
• SIGREF
• BISIMULATOR
• M-TREE
• E-LOTOS
• APNN-Toolbox
• Exp.Open
• CAESAR_SOLVE
• TVT
• CMC
• Concurrency Workbench
• Planning proofs of equations in CCS
• Mec 5
• LNT2LOTOS
• VERSA
• mCRL
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Refined Interfaces for Compositional Verification
• Compositional verification of asynchronous concurrent systems using CADP
• On process equivalence = equation solving in CCS

This page was built for software: fc2tools