Patrice Godefroid's Publications by Themes

Software Model Checking via Systematic Testing

Software Model Checking via Abstraction

Avoiding State Explosion in Model Checking (mostly thanks to Partial-Order Reduction)

My PhD thesis presents most of the results of my previous publications (before 1995) in a more comprehensive way. I highly recommend reading my thesis instead, preferably the LNCS revised version (my PhD thesis itself is available from here).

Symbolic Model Checking for Infinite State Systems

Other Topics in Algorithmic Verification

Short Papers on Tools

Applications of Model Checking (Case Studies)