AbPress: Flexing Partial-Order Reduction and Abstraction

Daniel Kroening, Subodh Sharma, Björn Wachter

Partial-order reduction (POR) and lazy abstraction with interpolants are two complementary techniques that have been successfully employed to make model checking tools for concurre…