Login / Signup
Verification Coverage: When is Enough, Enough?
Francine Bacchini
Alan J. Hu
Tom Fitzpatrick
Rajeev Ranjan
David Lacey
Mercedes Tan
Andrew Piziali
Avi Ziv
Published in:
DAC (2007)
Keyphrases
</>
model checking
formal verification
case study
data model
verification method
real time
machine learning
e learning
search algorithm
expert systems
information technology
formal methods
person identification
asynchronous circuits
high security