1 paper · 2 filters
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis +2
We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating…