On the Notion of Vacuous Truth

DOI10.1007/978-3-540-75560-9_2MaRDI QIDQ3498452zbMATH OpenOpenAlexFDO

Authors Marko Samer, Helmut Veith

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75560-9_2

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Enhanced vacuity detection in linear temporal logic.
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1487861
• Vacuity in practice: temporal antecedent failure
• Robust vacuity for branching temporal logic

Cites work

• Automata, Languages and Programming
• Computer Aided Verification
• Computer Science Logic
• Correct Hardware Design and Verification Methods
• Counterexamples revisited: principles, algorithms, applications
• Efficient detection of vacuity in temporal model checking
• Enhanced vacuity detection in linear temporal logic.
• Formal Methods in Computer-Aided Design
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• scientific article; zbMATH DE number 56025 (Why is no real title available?)
• scientific article; zbMATH DE number 2084388 (Why is no real title available?)
• scientific article; zbMATH DE number 1487861 (Why is no real title available?)
• scientific article; zbMATH DE number 1903373 (Why is no real title available?)
• Interpolation, preservation, and pebble games
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Making the most of BMC counterexamples
• Temporal Antecedent Failure: Refining Vacuity
• Tools and Algorithms for the Construction and Analysis of Systems
• Vacuity checking in the modal mu-calculus

Cited in

(9)

• Vacuity in practice: temporal antecedent failure
• SMT-based scenario verification for hybrid systems
• Robust vacuity for branching temporal logic
• On truth-gaps, bipolar belief and the assertability of vague propositions
• Towards a notion of unsatisfiable and unrealizable cores for LTL
• scientific article; zbMATH DE number 6108188 (Why is no real title available?)
• Formal Methods in Computer-Aided Design
• Enhanced vacuity detection in linear temporal logic.
• Doomed program points

This page was built for publication: On the Notion of Vacuous Truth

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