Automatic Fault Localization for Property Checking

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

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

Original languageEnglish
Title of host publicationHaifa Verification Conference
PublisherSpringer
Publication statusAccepted/In press - 2006
EventHaifa Verification Conference - Haifa, Israel
Duration: 23 Oct 200626 Oct 2006

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period23/10/0626/10/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this