Vacuity in synthesis

DOI10.1007/s10703-021-00381-5OpenAlexW3197722011MaRDI QIDQ2058393

Hana Chockler, Masoud Ebrahimi, Roderick Bloem, Ofer Strichman

Publication date: 8 December 2021

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

Full work available at URL: https://doi.org/10.1007/s10703-021-00381-5

zbMATH Keywords

vacuityreactive synthesisbounded synthesis

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Finding and fixing faults
• Reasoning about infinite computations
• Beyond vacuity: towards the strongest passing formula
• Synthesizing robust systems
• Towards Efficient Parameterized Synthesis
• Robustness Analysis of Networked Systems
• Synthesizing Non-Vacuous Systems
• Bounded Synthesis
• Better Quality in Synthesis through Quantitative Objectives
• Computer Aided Verification
• Formal Methods in Computer-Aided Design
• Correct Hardware Design and Verification Methods
• Computer Aided Verification
• Efficient detection of vacuity in temporal model checking
• Unnamed Item
• Unnamed Item