14 search results - page 1 / 3 » charme 2001 |
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
CHARME
2001
Springer
13 years 8 months ago
2001
Springer
CHARME
2001
Springer
13 years 8 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 ...
CHARME
2001
Springer
13 years 8 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...