1304 search results - page 21 / 261 » Model Checking C Programs Using F-SOFT |
IAAI
2001
15 years 1 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
ERLANG
2006
ACM
15 years 5 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
PVM
2007
Springer
15 years 5 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
185
click to vote
PLDI
2009
ACM
16 years 11 days ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...