Using partial orders for the e cient veri cation of deadlock freedom and safety properties (1991)

by P Godefroid, P Wolper
Venue:In Proceedings of the Third Workshop on Computer Aided Veri cation