Accueil > Équipes > Pacss > Outils > Outils

Outils

Outils


Vitrine

  • Mjollnir

    A quantifier elimination tool

  • Pagai a static analyzer [Binary distribution, basic maintenance]

    Pagai is a static analyzer based on the LLVM framework.

Archive

The tools below are prototypes or tools that are not active anymore.
  • IF Intermediate Format and Verification Tool set

    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.

  • TGV Test Generation with Verification technology

    TGV (Test Generation with Verification technology) is a tool for the generation of conformance test suites for protocols. It is the result of a collaboration of the project Pampa of the Irisa institute with the projet Spectre/INRIA of the Verimag research center.


La page outils de Verimag


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

info visites 1114406