Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68619OpenAlexW4298302743MaRDI QIDQ5312936FDOQ5312936

Authors: Alain Griffault, Aymeric Vincent 

Publication date: 25 August 2005

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

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

Recommendations

• scientific article; zbMATH DE number 910719
• Symbolic model checking: \(10^{20}\) states and beyond
• The Maude LTL model checker
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• Model checking for action-based logics

zbMATH Keywords

model-checking\(\mu\)-calculusBDDsAltaRica

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Inf-datalog, Modal Logic and Complexities
• Equivalence checking 40 years after: a review of bisimulation tools
• From EU projects to a family of model checkers. From Kandinsky to KandISTI

Uses Software

• NuSMV
• Mec 5

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312936)