Bogor: an extensible and highly-modular software model checking framework
Cadena: an integrated development, analysis, and verification environment for component-based systems