Coverage metrics for temporal logic model checking

DOI10.1007/s10703-006-0001-6zbMath1105.68075OpenAlexW2019873882MaRDI QIDQ853721

Hana Chockler, Moshe Y. Vardi, Orna Kupferman

Publication date: 17 November 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.1552

zbMATH Keywords

AlgorithmsModel checkingFormal verificationCoverage metrics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Incremental design-space model checking via reusable reachable state approximations ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Vacuity in practice: temporal antecedent failure

Uses Software

• CESAR

Cites Work

• An automata-theoretic approach to branching-time model checking
• Correct Hardware Design and Verification Methods
• Correct Hardware Design and Verification Methods
• Computer Aided Verification
• Efficient detection of vacuity in temporal model checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coverage metrics for temporal logic model checking