1304 search results - page 9 / 261 » Model Checking C Programs Using F-SOFT |
128
Voted
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
87
Voted
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
147
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...