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.

Debugging Unrealizable Specifications with Model-Based Diagnosis. / Könighofer, Robert; Hofferek, Georg; Bloem, Roderick Paul.

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Vol. 6504 Berlin Heidelberg : Springer, 2011. p. 29-45 (Lecture Notes in Computer Science).

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

Könighofer, R, Hofferek, G & Bloem, RP 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, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, pp. 29-45, Haifa Verification Conference 2010, Haifa, Israel, 5/10/10.
Könighofer R, Hofferek G, Bloem RP. 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. Berlin Heidelberg: Springer. 2011. p. 29-45. (Lecture Notes in Computer Science).
Könighofer, Robert ; Hofferek, Georg ; Bloem, Roderick Paul. / Debugging Unrealizable Specifications with Model-Based Diagnosis. Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Vol. 6504 Berlin Heidelberg : Springer, 2011. pp. 29-45 (Lecture Notes in Computer Science).
@inproceedings{50d721beaa334348ba8fadc1b6fe3e0b,
title = "Debugging Unrealizable Specifications with Model-Based Diagnosis",
author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",
year = "2011",
language = "English",
isbn = "978-3-642-19582-2",
volume = "6504",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "29--45",
booktitle = "Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers",

}

TY - GEN

T1 - Debugging Unrealizable Specifications with Model-Based Diagnosis

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2011

Y1 - 2011

UR - http://www.springerlink.com/content/e83u817351416271/

UR - https://www.research.ibm.com/haifa/conferences/hvc2010/index.shtml

M3 - Conference contribution

SN - 978-3-642-19582-2

VL - 6504

T3 - Lecture Notes in Computer Science

SP - 29

EP - 45

BT - Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

PB - Springer

CY - Berlin Heidelberg

ER -