Automatic Error Localization for Software using Deductive Verification

Robert Könighofer, Ronald Tögl, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelHardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)
ErscheinungsortBerlin Heidelberg
Herausgeber (Verlag)Springer
Seiten92-98
Band8855
ISBN (Print)978-3-319-13337-9
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungHaifa Verification Conference 2014 - Haifa, Israel
Dauer: 18 Nov 201420 Nov 2014

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzHaifa Verification Conference 2014
LandIsrael
OrtHaifa
Zeitraum18/11/1420/11/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren