Automatic Error Localization for Software using Deductive Verification

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationHardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages92-98
Volume8855
ISBN (Print)978-3-319-13337-9
DOIs
Publication statusPublished - 2014
EventHaifa Verification Conference - Haifa, Israel
Duration: 18 Nov 201420 Nov 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period18/11/1420/11/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this