Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.

Patrice Godefroid, Pierre Wolper

Browse the full CAV paper archive.