|
Building Your Own Software Model Checker Using The Bogor Extensible Model Checking Framework |
- Building Your Own Software Model Checker Using The Bogor Extensible Model Checking Framework, January 2005.
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby.
In the Proceedings of 17th Conference on Computer-Aided Verification (CAV 2005).
Technical Report, SAnToS-TR2005-1.
pdf (Last updated: April 29, 2005).
|
