klschneider 

Averest is a framework for the model-based design of reactive systems that supports the specification, verification, and implementation. It contains a simulator, support for formal verification with... More information

Averest is a model-based design tool using synchronous languages and formal verification for hardware/software codesign.