CAESAR_SOLVE
From MaRDI portal
CAESAR SOLVE
Cited in
(30)- mCRL2
- PiXL
- BISIMULATOR
- M-TREE
- E-LOTOS
- CADP
- Exp.Open
- Joeq
- TVT
- Compositional verification of asynchronous concurrent systems using CADP
- fc2tools
- CMC
- PGSolver
- Concurrency Workbench
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Structural analysis of Boolean equation systems
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Mec 5
- LNT2LOTOS
- VERSA
- XTL
- Computation Tree Regular Logic for Genetic Regulatory Networks
- CAESAR
- Sequential and distributed on-the-fly computation of weak tau-confluence
- A Multi-Core Solver for Parity Games
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Model Checking Software
- Oink
- ADG
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
This page was built for software: CAESAR_SOLVE
