73 search results - page 1 / 15 » First Steps in the Verified Software Grand Challenge |
SEW
2006
IEEE
13 years 11 months ago
2006
IEEE
FAC
2006
13 years 5 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
VMCAI
2005
Springer
13 years 11 months ago
2005
Springer
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...