37 search results - page 6 / 8 » Generating Counterexamples for Multi-valued Model-Checking |
CAV
2001
Springer
14 years 28 days 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
13 years 3 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...
KBSE
2005
IEEE
14 years 2 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...
ICSE
2009
IEEE-ACM
14 years 9 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...
VLSID
2010
IEEE
13 years 6 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...