54 search results - page 3 / 11 » Coverage Metrics for Formal Verification |
ASPDAC
2006
ACM
13 years 9 months ago
2006
ACM
The design of a large chip is typically hierarchical
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
TACAS
2001
Springer
13 years 10 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
DSD
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...