Skip to main content

Kronos: A Model-Checking Tool for Real-Time Systems

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Full text DOI 10.1007/bfb0028779 dblp BibTeX

Abstract elided by the publisher.

Related papers

Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems CAV 1998
Local Model Checking for Real-Time Systems (Extended Abstract) CAV 1995
Time for Statistical Model Checking of Real-Time Systems CAV 2011
Model-Checking for Real-Time Systems Specified in Lotos CAV 1992
Verified Model Checking of Timed Automata TACAS 2018
Verified Certification of Reachability Checking for Timed Automata TACAS 2020
Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
Clock Bound Repair for Timed Systems CAV 2019