Distributed Verification of Multi-threaded C++ Programs
Under a Creative Commons license
open access
Keywords
Program Verification
Distributed Model Checking
External Model Checking
Cited by (0)
- 1
This research is supported by the German Research Council (DFG) under project directed model checking.
Copyright © 2008 Elsevier B.V.