CAESAR_SOLVE
From MaRDI portal
Software:22161
swMATH10194MaRDI QIDQ22161FDOQ22161
Author name not available (Why is that?)
Cited In (10)
- Structural Analysis of Boolean Equation Systems
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- A Multi-Core Solver for Parity Games
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Sequential and distributed on-the-fly computation of weak tau-confluence
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Model Checking Software
- Compositional verification of asynchronous concurrent systems using CADP
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Computation Tree Regular Logic for Genetic Regulatory Networks
This page was built for software: CAESAR_SOLVE
