1376 search results - page 86 / 276 » Model-Driven Software Verification |
127
click to vote
RE
2008
Springer
15 years 2 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...
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
115
click to vote
SNPD
2004
15 years 4 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
146
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
103
click to vote
TPHOL
1999
IEEE
15 years 7 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...