Automatic Fault Localization for Property Checking

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

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	1138-1149
Journal	IEEE transactions on computer-aided design of integrated circuits and systems
Volume	27
Issue number	6
Publication status	Published - 2008

Access to Document

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area

@article{4df6908d76ac4d5b9aa9f17849084e44,

title = "Automatic Fault Localization for Property Checking",

author = "Goerschwin Fey and Staber, {Stefan Simon} and Bloem, {Roderick Paul} and Rolf Drechsler",

year = "2008",

language = "English",

volume = "27",

pages = "1138--1149",

journal = "IEEE transactions on computer-aided design of integrated circuits and systems",

issn = "0278-0070",

publisher = "Institute of Electrical and Electronics Engineers",

number = "6",

}

TY - JOUR

T1 - Automatic Fault Localization for Property Checking

AU - Fey, Goerschwin

AU - Staber, Stefan Simon

AU - Bloem, Roderick Paul

AU - Drechsler, Rolf

PY - 2008

Y1 - 2008

UR - http://tcad.polito.it/

UR - http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4526741

M3 - Article

VL - 27

SP - 1138

EP - 1149

JO - IEEE transactions on computer-aided design of integrated circuits and systems

JF - IEEE transactions on computer-aided design of integrated circuits and systems

SN - 0278-0070

IS - 6

ER -