Bogor: An extensible and highlymodular model checking framework (0)

by M B Dwyer Robby, J Hatcliff
Venue:ACM SIGSOFT Software Engineering