1304 search results - page 12 / 261 » Model Checking C Programs Using F-SOFT |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
120
click to vote
CAV
2009
Springer
16 years 6 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
110
click to vote
COOTS
1997
15 years 1 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
89
Voted
ESOP
2003
Springer
15 years 4 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
125
click to vote
FMICS
2010
Springer
14 years 12 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...