Verimag
Home > Teams > RSD > Obsolete > Rigorous Design of Component-Based Systems — The BIP (...) > BIP Tools > BIP Tools

BIP Tools

Core Tools

The core BIP toolset is described in detail in the following pages:

Additional Tools

The following tools are also available:

NEW VERSIONS of the compiler and engines are AVAILABLE!

Examples

BIP examples can be found here.

contact: Jacques Combaz