CAESAR_SOLVE

MaRDI QIDQ22161swMATHFDO

Official website http://link.springer.com/article/10.1007/s10009-005-0194-9

Cited in

(30)

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

This page was built for software: CAESAR_SOLVE