"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem " - читать интересную книгу автора (Patrice Godefroid)