1129 search results - page 13 / 226 » Formal Verification of Websites |
SAS
2010
Springer
14 years 10 months ago
2010
Springer
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
We report on the formal verification of the floating point unit used in the VAMP processor. The FPU is fully IEEE compliant, and supports denormals and exceptions in hardware. The ...
JAR
2008
14 years 11 months ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
106
click to vote
ICCD
2000
IEEE
15 years 3 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
129
click to vote
PPOPP
2009
ACM
16 years 8 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...