Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312943zbMATH OpenOpenAlexFDO

Authors Kedar S. Namjoshi

Publication date 25 August 2005

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

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1903373
• Vacuity checking in the modal mu-calculus
• Formal Methods in Computer-Aided Design
• Tools and Algorithms for the Construction and Analysis of Systems
• Before and after vacuity

Cited in

(12)

• Extracting unsatisfiable cores for LTL via temporal resolution
• Towards a notion of unsatisfiable and unrealizable cores for LTL
• Inherent vacuity in lattice automata
• scientific article; zbMATH DE number 1903373 (Why is no real title available?)
• Vacuity in practice: temporal antecedent failure
• Timed vacuity
• Before and after vacuity
• On the Notion of Vacuous Truth
• Linear temporal logic symbolic model checking
• Synthesizing non-vacuous systems
• Vacuity in synthesis
• Beyond vacuity: towards the strongest passing formula

This page was built for publication: Computer Aided Verification

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