Open-Kronos

Submitted by akarns on Mon, 05/08/2017 - 12:14pm

Open-Kronos

Description: Open-Kronos was built around 1997 as a successor to Kronos. The main objectives have been, on one hand, to endow Kronos with a more convenient modeling language (e.g., with discrete variables) and, on the other hand, to have an "open" software architecture where users could contribute their model-checking algorithms.

For this, Open-Kronos was based on the SMI tool built by Marius Bozga, for symbolic model-checking discrete systems. SMI, in turn, uses some libraries from CADP.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://www-verimag.imag.fr/~tripakis/openkronos.html

Download: Instructions for acquiring Open-Kronos can be found on the webpage linked above.

Documentation: N/A

Contact: Stavros.Tripakis@imag.fr

Excerpt from: http://www-verimag.imag.fr/~tripakis/openkronos.html