314 search results - page 3 / 63 » Sanity Checks in Formal Verification |
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
ENTCS
2006
13 years 8 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
CRYPTO
1994
Springer
14 years 19 days ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
ISQED
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...