Bogor: An Extensible and Highly-Modular Model Checking Framework (2003)

by Robby, Matthew Dwyer, John Hatcliff
Venue:In 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