Sthread: In-Vivo Model Checking of Multithreaded Programs

Gene Cooperman, Martin Quinson

This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, w…