314 search results - page 5 / 63 » Sanity Checks in Formal Verification |
FDL
2003
IEEE
14 years 4 months ago
2003
IEEE
RE
2008
Springer
13 years 10 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
DAC
1997
ACM
14 years 2 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
ACSC
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
TPHOL
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...