Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints

Patrick Metzler, Habib Saissi, Péter Bokor +1

Automated software verification of concurrent programs is challenging because of exponentially large state spaces with respect to the number of threads and number of events per thr…