2 search results - page 1 / 1 » Directed Error Detection in C with the Assembly-Level Mode... |
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
ENTCS
2008
13 years 4 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...