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