TO
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "Dynamic partial order reduction"
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Gopalakrishnan, Ganesh; Kirby, Robert Michael II | Runtime model checking of multithreaded C/C++ programs | We present inspect, a tool for model checking safety prop- erties of multithreaded C/C++ programs where threads in- teract through shared variables and synchronization primi- tives. The given program is mechanically transformed into an instrumented version that yields control to a centralized s... | Dynamic partial order reduction; Multithreaded; C/C++; Runtime model checking | 2007 |
1 - 25 of 1