37 search results - page 6 / 8 » Generating Counterexamples for Multi-valued Model-Checking |
114
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
TCAD
2010
14 years 8 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
134
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
105
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
151
click to vote
VLSID
2010
IEEE
14 years 11 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...