Delay-Bounded Scheduling Without Delay! (Extended Technical Report)

Andrew Johnson, Thomas Wahl

We consider the broad problem of analyzing safety properties of asynchronous concurrent programs under arbitrary thread interleavings. Delay-bounded deterministic scheduling, intro…