Partial-order methods for the verification of concurrent systems an approach to the state-explosion problem / - Godefroid, Patrice. (Lecture notes in computer science ;)