Debugging Unrealizable Specifications with Model-Based Diagnosis

DOI10.1007/978-3-642-19583-9_8zbMath1325.68152OpenAlexW2162872900MaRDI QIDQ5391521

Roderick Bloem, Robert Könighofer, Georg Hofferek

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)

Related Items (1)

Extracting unsatisfiable cores for LTL via temporal resolution

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