DMCA

P.: Dynamic Partial-Order Reduction for Model Checking Software

by Cormac Flanagan , Patrice Godefroid
Venue:In: POPL (2005
Citations:194 - 1 self