Home > Teams > Tempo > Tools

OpenKronos

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.

View online : Tool Web Page

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

info visites 1573243

CNRS

INP Grenoble