Accueil > Axes > MOHYTOS > Outils > Outils

Outils



  • BIP Compiler

    The BIP compiler and execution engines for simulation, execution, exploration and debug of BIP models.


  • IF Toolset Intermediate Format and Verification Toolset

    The IF Intermediate Representation based on extending communicating timed automata has been defined for being able to offer a powerful toolset offering simulation, analysis and verification facilities for different modelling languages for distributed real-time systems.


La page de tous les outils de Verimag


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4184938