438 search results - page 3 / 88 » A Tool for Checking ANSI-C Programs |
TOOLS
2000
IEEE
15 years 1 months ago
2000
IEEE
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
100
click to vote
SAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
ICFP
2000
ACM
15 years 1 months ago
2000
ACM
57
Voted
TOOLS
2010
IEEE
15 years 2 months ago
2010
IEEE
