Context-bounded analysis of concurrent programs is a technique to compute a sequence of
underapproximations of all behaviors of the program. For a fixed bound k, a context …

Preemption bounding (PB) and dynamic partial order reduction (DPOR) are two key
techniques for scaling up the model checking of concurrent software. Attempts to combine …

Context-bounded analysis of concurrent programs is a technique to compute a sequence of
underapproximations of all behaviors of the program. For a fixed bound k, a context …