Debugging Unrealizable Specifications with Model-Based Diagnosis

DOI10.1007/978-3-642-19583-9_8MaRDI QIDQ5391521zbMATH OpenOpenAlexFDO

Authors Robert Könighofer, Georg Hofferek, Roderick Bloem

Publication date 6 April 2011

Published in Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19583-9_8

Mathematics Subject Classification ID

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

Recommendations

• Debugging unsatisfiable constraint models
• scientific article; zbMATH DE number 2089877
• Model-based diagnostics and probabilistic assumption-based reasoning
• scientific article; zbMATH DE number 1954133

Cited in

(2)

• Extracting unsatisfiable cores for LTL via temporal resolution
• Diagnostic Information for Realizability

This page was built for publication: Debugging Unrealizable Specifications with Model-Based Diagnosis

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