Formal verification of real-time systems.
KRONOS is a software tool built with the aim of assisting designers of real-time systems to verify whether their designs meet the specified requirements.
One major objective of KRONOS is to provide a verification engine to be integrated into design environments for real-time systems in a wide range of application areas, e.g.:
KRONOS is freely distributed
to academic institutions for non-profit use.
It can be downloaded at the following URL:
Contact person: S. Yovine (Sergio.Yovine@imag.fr)