Software Model Checking via Systematic Testing
Software Model Checking via Abstraction
Avoiding State Explosion in Model Checking (mostly thanks to Partial-Order Reduction)
Symbolic Model Checking for Infinite State Systems
Other Topics in Algorithmic Verification
Short Papers on Tools
Applications of Model Checking (Case Studies)