• Software distribution and licensing: Privately distributed in a contractual setting
  • Software maturity: Demos work, loose documentation.
  • Software Maintenance and Evolution: No maintenance, no future plans

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