Debugging Unrealizable Specifications with Model-Based Diagnosis

Robert Könighofer; Georg Hofferek; Roderick Paul Bloem

Debugging Unrealizable Specifications with Model-Based Diagnosis

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Place of Publication	Berlin Heidelberg
Publisher	Springer
Pages	29-45
Volume	6504
ISBN (Print)	978-3-642-19582-2
Publication status	Published - 2011
Event	Haifa Verification Conference 2010 - Haifa, Israel Duration: 5 Oct 2010 → 7 Oct 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Haifa Verification Conference 2010
Abbreviated title	HVC
Country/Territory	Israel
City	Haifa
Period	5/10/10 → 7/10/10

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

final_hvc10.pdfFinal published version, 265 KB

Cite this

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 proceeding › Conference paper › peer-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, 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",

note = "Haifa Verification Conference 2010, HVC ; Conference date: 05-10-2010 Through 07-10-2010",

}

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 paper

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

T2 - Haifa Verification Conference 2010

Y2 - 5 October 2010 through 7 October 2010

ER -

Debugging Unrealizable Specifications with Model-Based Diagnosis

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this

Debugging Unrealizable Specifications with Model-Based Diagnosis

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this