Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby

Browse the full CAV paper archive.