Home > Teams > DCS > Tools > Tools
Tools
- New BIP tools
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 (...)
- BIP-SMC : A Statistical Model Checking Engine for the BIP framework
A statistical model checking engine prototype for the BIP framework.
- RTD-Finder A COMPOSITIONAL VERIFICATION TOOL FOR Real-time BIP MODELS
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.
- D-Finder a compositional deadlock detection and verification tool for BIP models
