1304 search results - page 140 / 261 » Model Checking C Programs Using F-SOFT |
125
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
123
click to vote
QSIC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
111
click to vote
IWIA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
153
click to vote
EPIA
1999
Springer
15 years 7 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
122
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...