Verimag

OpenKronos

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

Voir en ligne : Tool Web Page

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

info visites 876090