Bogor: A Flexible Framework for Creating Software Model Checkers | IEEE Conference Publication | IEEE Xplore