1 paper · 1 filter
Peter Chini, Jonathan Kolberg, Andreas Krebs +2
Bounded context switching (BCS) is an under-approximate method for finding violations to safety properties in shared memory concurrent programs. Technically, BCS is a reachability…