8 citations · 15 across the 13 of their papers we have counts for
1 paper · 2 filters
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…