Building your own software model checker using the bogor extensible model checking framework (2005)

by Matthew B Dwyer, John Hatcliff, Matthew Hoosier, Robby
Venue:In CAV