Bogor: an extensible and highly-modular software model checking framework