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

by Matthew B Dwyer Robby, John Hatcliff
Venue:In ESEC/FSE-11: Proceedings of the 9th European Software Engineering Conference held jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering