The new version of the BIP compiler and engines is available now. Notice that we slightly modified the BIP language (its syntax and its semantics) with respect to the old versions the tools that are still available here. contact: Jacques Combaz, former developers: Anakreontas Mentis, Marc Poulhiès Installation The BIP tools provided here consist of a compiler for generating code from BIP sources, and an execution engine used as a scheduler for executing the generated code. We currently (...)
A statistical model checking engine prototype for the BIP framework.
RTD-Finder tool implements a compositional method for the verification of component-based Real-time systems modeled in RT-BIP language. RTD-Finder verifies safety properties.