Automatic Fault Localization for Property Checking

Stefan Simon Staber, Goerschwin Fey, Roderick Paul Bloem, Rolf Drechsler

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Haifa Verification Conference
Herausgeber (Verlag)	Springer
Publikationsstatus	Angenommen/In Druck - 2006
Veranstaltung	Haifa Verification Conference 2006 - Haifa, Israel Dauer: 23 Okt. 2006 → 26 Okt. 2006

Konferenz	Haifa Verification Conference 2006
Land/Gebiet	Israel
Ort	Haifa
Zeitraum	23/10/06 → 26/10/06

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Projekt: Forschungsprojekt

@inproceedings{153b1a293b074b9299352770474e9cee,

title = "Automatic Fault Localization for Property Checking",

author = "Staber, {Stefan Simon} and Goerschwin Fey and Bloem, {Roderick Paul} and Rolf Drechsler",

year = "2006",

language = "English",

booktitle = "Haifa Verification Conference",

publisher = "Springer",

note = "Haifa Verification Conference ; Conference date: 23-10-2006 Through 26-10-2006",

}