Automatic Fault Localization for Property Checking

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

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)1138-1149
FachzeitschriftIEEE transactions on computer-aided design of integrated circuits and systems
Jahrgang27
Ausgabenummer6
PublikationsstatusVeröffentlicht - 2008

Projekte

  • 1 Abschlussdatum

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/07/19

Projekt: Arbeitsgebiet

Dieses zitieren