Patrice Godefroid

• Partial-order methods for the verification of concurrent systems