Synthesizing non-vacuous systems

DOI10.1007/978-3-319-52234-0_4MaRDI QIDQ2961552zbMATH OpenOpenAlexFDO

Authors Roderick Bloem, Hana Chockler, Ofer Strichman, Masoud Ebrahimi

Publication date 21 February 2017

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

Full work available at URL https://kclpure.kcl.ac.uk/portal/en/publications/synthesizing-nonvacuous-systems(0c6793e4-e240-4451-814d-63b3fe6d3b5b).html

Mathematics Subject Classification ID

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

Recommendations

• Vacuity in synthesis
• Before and after vacuity
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods in Computer-Aided Design
• Enhanced vacuity detection in linear temporal logic.

Cites work

• Better Quality in Synthesis through Quantitative Objectives
• Beyond vacuity: towards the strongest passing formula
• Bounded Synthesis
• Computer Aided Verification
• Correct Hardware Design and Verification Methods
• Efficient detection of vacuity in temporal model checking
• Enhanced vacuity detection in linear temporal logic.
• Finding and fixing faults
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 3189696 (Why is no real title available?)
• Reasoning about infinite computations
• Robustness analysis of networked systems
• Synthesizing robust systems

Cited in

(7)

• Vacuity in synthesis
• Satisfiability checking for mission-time \textsf{LTL} (MLTL)
• scientific article; zbMATH DE number 2086659 (Why is no real title available?)
• Specifiable robustness in reactive synthesis
• Synthesis of compact strategies for coordination programs
• LTL reactive synthesis with a few hints
• LTL reactive synthesis with a few hints

This page was built for publication: Synthesizing non-vacuous systems

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