Model Checking Software

DOI10.1007/11691617zbMath1178.68345OpenAlexW2480617525MaRDI QIDQ5899040

Radu Mateescu, Christophe Joubert

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691617

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ A Multi-Core Solver for Parity Games ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Uses Software

• BISIMULATOR
• M-TREE
• SPIN
• CAESAR_SOLVE

This page was built for publication: Model Checking Software