Login / Signup
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.
Sayantan Das
Ansuman Banerjee
Prasenjit Basu
Pallab Dasgupta
P. P. Chakrabarti
Chunduri Rama Mohan
Limor Fix
Published in:
VLSI Design (2005)
Keyphrases
</>
formal methods
fault model
high level
safety critical
safety analysis
low level
formal analysis
model checking
artificial intelligence
model checker
process algebra
formal specification
fault injection
software engineering
modeling language
model based diagnosis
low cost
data quality
multi agent systems