1304 search results - page 3 / 261 » Model Checking C Programs Using F-SOFT |
AADEBUG
1997
Springer
13 years 10 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
SPIN
2007
Springer
14 years 11 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
TACAS
2001
Springer
13 years 10 months ago
2001
Springer
CAV
2007
Springer
14 years 13 days ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...