2488 search results - page 120 / 498 » An improvement in formal verification |
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
115
click to vote
IEE
2008
15 years 25 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
64
Voted
USS
2008
15 years 3 months ago
2008
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...
IJNSEC
2008
15 years 23 days ago
2008
Batch verification of digital signatures is used to improve the computational complexity when a large number of digital signatures must be verified. Lee at al. [2] proposed a new ...
109
Voted
ICSE
2008
IEEE-ACM
16 years 26 days ago
2008
IEEE-ACM
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...