Bogor: A Flexible Framework for Creating Software Model Checkers

摘要

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multi-core architectures and a greater emphasis on distributed computing, model checking is