1376 search results - page 87 / 276 » Model-Driven Software Verification |
102
click to vote
CATS
2006
15 years 4 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
149
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
127
click to vote
ENTCS
2006
15 years 2 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
136
click to vote
COMPUTER
2006
15 years 2 months ago
2006
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...