Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492989zbMATH OpenOpenAlexFDO

Authors Marko Samer, Helmut Veith

Publication date 20 October 2006

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

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

Mathematics Subject Classification ID

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

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Enhanced vacuity detection in linear temporal logic.
• On the Notion of Vacuous Truth
• scientific article; zbMATH DE number 1903373
• Correct Hardware Design and Verification Methods

Cited in

(12)

• Before and after vacuity
• Vacuity in practice: temporal antecedent failure
• Vacuity in synthesis
• Beyond vacuity: towards the strongest passing formula
• Inherent vacuity in lattice automata
• Synthesizing non-vacuous systems
• On the Notion of Vacuous Truth
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Vacuity in Testing
• Formal Methods in Computer-Aided Design
• Efficient detection of vacuity in temporal model checking

This page was built for publication: Formal Methods in Computer-Aided Design

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