54 search results - page 9 / 11 » Coverage Metrics for Formal Verification |
101
Voted
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
DAC
2007
ACM
15 years 3 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
110
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
86
Voted
CDES
2006
15 years 1 months ago
2006
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
117
click to vote
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...