1 paper
Maxwell Pirtle, Luka Jovanovic, Gene Cooperman
Context: Model checking has become a key tool for gaining confidence in correctness of multi-threaded programs. Unit tests and functional tests do not suffice because of race condi…