Beyond vacuity: towards the strongest passing formula

DOI10.1007/S10703-013-0192-6MaRDI QIDQ2248090zbMATH OpenOpenAlexFDO

Authors Hana Chockler, Arie Gurfinkel, Ofer Strichman

Publication date 30 June 2014

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

Full work available at URL https://doi.org/10.1007/s10703-013-0192-6

zbMATH Keywords

lattice-automatamodel-checkingvacuity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1903373
• Correct Hardware Design and Verification Methods
• Robust vacuity for branching temporal logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Inherent vacuity in lattice automata

Cites work

• Beyond vacuity: towards the strongest passing formula
• Computer Aided Verification
• Efficient detection of vacuity in temporal model checking
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1744958 (Why is no real title available?)
• scientific article; zbMATH DE number 1903373 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Lattice Automata
• Sanity Checks in Formal Verification
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(6)

• Vacuity in practice: temporal antecedent failure
• Timed vacuity
• Vacuity in synthesis
• Beyond vacuity: towards the strongest passing formula
• Synthesizing non-vacuous systems
• Towards a notion of unsatisfiable and unrealizable cores for LTL

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: Beyond vacuity: towards the strongest passing formula

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