Debugging Unrealizable Specifications with Model-Based Diagnosis

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationHardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages29-45
Volume6504
ISBN (Print)978-3-642-19582-2
Publication statusPublished - 2011
EventHaifa Verification Conference 2010 - Haifa, Israel
Duration: 5 Oct 20107 Oct 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceHaifa Verification Conference 2010
Abbreviated titleHVC
CountryIsrael
CityHaifa
Period5/10/107/10/10

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Könighofer, R., Hofferek, G., & Bloem, R. P. (2011). Debugging Unrealizable Specifications with Model-Based Diagnosis. In Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Vol. 6504, pp. 29-45). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer.