Automatic Fault Localization for Property Checking

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
Jobstmann, B. (Teilnehmer / Mitarbeiter), Bloem, R. (Projektleiter), Pill, I. H. (Teilnehmer / Mitarbeiter), Griesmayer, A. (Teilnehmer / Mitarbeiter) & Staber, S. S. (Teilnehmer / Mitarbeiter)
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",

address = "United States",

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

}