Model Checking Software

DOI10.1007/B96721MaRDI QIDQ5308376zbMATH OpenOpenAlexFDO

Authors Jérôme Leroux, Alain Finkel

Publication date 28 September 2007

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Computer Aided Verification
• Efficient image computation in infinite state model checking.
• Towards a Model-Checker for Counter Systems
• Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems
• The affine hull of a binary automaton is computable in polynomial time

Cited in

(2)

• Computer Aided Verification
• The Image Containment Problem and Some Classes of Polynomial Instances

Describes a project that uses

Uses Software

• TREX

This page was built for publication: Model Checking Software

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