|
Bogor: An Extensible and Highly-Modular Model Checking Framework |
- Bogor: An Extensible and Highly-Modular Model Checking Framework, March 2003.
Robby, Matthew B. Dwyer, John Hatcliff
In the Proceedings of the Fourth Joint Meeting of the European Software
Engineering Conference and ACM SIGSOFT Symposium on the Foundations of
Software Engineering (ESEC/FSE 2003).
Technical Report, SAnToS-TR2003-3.
pdf (Last updated: July 1, 2003).
|
