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