Automatic Fault Localization for Property Checking

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

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1138-1149
JournalIEEE transactions on computer-aided design of integrated circuits and systems
Volume27
Issue number6
Publication statusPublished - 2008

Cite this