Home > Teams > Tempo > Tools > Tools

Tools


Main

  • 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.

Other

  • 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.


The Verimag Tools page


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1093692