148 search results - page 2 / 30 » Improving simulation-based verification by means of formal m... |
FMCAD
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
FORTE
1994
13 years 6 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
CODES
2005
IEEE
13 years 10 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
IEEEICCI
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper a novel offline signature verification scheme has been proposed. The scheme is based on selecting 60 feature points from the geometric centre of the signature and co...