On the Notion of Vacuous Truth

DOI10.1007/978-3-540-75560-9_2zbMath1137.68438OpenAlexW1550875290MaRDI QIDQ3498452

Helmut Veith, Marko Samer

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

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

Related Items (4)

Doomed program points ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ SMT-based scenario verification for hybrid systems ⋮ Vacuity in practice: temporal antecedent failure

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Vacuity Checking in the Modal Mu-Calculus*
• Temporal Antecedent Failure: Refining Vacuity
• Interpolation, preservation, and pebble games
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Computer Science Logic
• Verification: Theory and Practice
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Automata, Languages and Programming
• Formal Methods in Computer-Aided Design
• Formal Methods in Computer-Aided Design
• Correct Hardware Design and Verification Methods
• Computer Aided Verification
• Efficient detection of vacuity in temporal model checking

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