Accueil > Équipes > Tempo > Outils > Outils

Outils


Vitrine

  • Kronos

    Kronos is a tool for model-checking of timed automata against specifications expressed using the real-time temporal logic TCTL.

  • NLTOOLBOX

    This library provides an algorithmic infrastructure for reachability computation of non-linear dynamical systems.

  • PHAVer

    PHAVer is a tool for reachability analysis of continuous and hybrid systems based on Linear Hybrid Automata.

  • SpaceEx State Space Explorer [Open-source distribution, active maintenance]

    The SpaceEx platform, a tool designed to facilitate the implementation of algorithms related to reachability and safety verification of continuous and hybrid systems.

Autre

  • d/dt

    d/dt is a prototype tool for reachability analysis of continuous and hybrid systems

Archive

The tools below are prototypes or tools that are not active anymore.
  • OpenKronos

    OpenKronos : is an on-the-fly verification tool for timed automata based on an integration of the DBM library of Kronos into CADP.


La page outils de Verimag


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

info visites 1078105