Kronos: a model-checking tool for real-time systems

Marius Bozga (1) , Conrado Daws (1) , Oded Maler (1) , Alfredo Olivero (2) , Stavros Tripakis (1) , Sergio Yovine (1)

1 VERIMAG - IMAG - VERIMAG
2 INCO - Instituto de Computacion [Montevideo]

Kronos is a software tool aiming at assisting designers of real-time systems to develop projects meeting the specified requirements.

Mots clés: timed automata; model-checking; TCTL

Domaines: Systèmes embarqués

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, et al.. Kronos: a model-checking tool for real-time systems. Computer Aided Verification 10th International Conference, CAV'98, Jun 1998, Vancouver, BC, Canada. pp.546--549, ⟨10.1007/BFb0028779⟩. ⟨hal-00374784⟩