A practical approach to coverage in model checking

DOI10.1007/3-540-44585-4_7MaRDI QIDQ4551135zbMATH OpenFDO

Authors Hana Chockler, Orna Kupferman, Moshe Y. Vardi, R. P. Kurshan

Publication date 4 September 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020066

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Coverage metrics for temporal logic model checking
• Coverage metrics for temporal logic model checking
• Correct Hardware Design and Verification Methods
• What causes a system to satisfy a specification?
• Sanity Checks in Formal Verification

Cited in

(11)

• CompoSAT: specification-guided coverage for model finding
• Coverage metrics for temporal logic model checking
• Analysing sanity of requirements for avionics systems
• Towards MC/DC coverage of properties specification patterns
• Coverability analysis using symbolic model checking
• Improvements in coverability analysis
• Automated Technology for Verification and Analysis
• Correct Hardware Design and Verification Methods
• Operational causality -- necessarily sufficient and sufficiently necessary
• From verification to causality-based explications (invited talk)
• Coverage metrics for temporal logic model checking

This page was built for publication: A practical approach to coverage in model checking

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