2488 search results - page 20 / 498 » An improvement in formal verification |
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
SAS
2010
Springer
13 years 8 months ago
2010
Springer
CHARME
2001
Springer
14 years 1 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
13 years 9 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...
PPOPP
2009
ACM
14 years 10 months 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...