564 search results - page 5 / 113 » Runtime Verification of C Programs |
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
122
Voted
ENTCS
2008
15 years 1 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
FM
2009
Springer
15 years 8 months ago
2009
Springer
120
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
110
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
A key benefit of generic programming is its support for producing modules with clean separation. In particular, generic algorithms are written to work with a wide variety of unmod...