Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata
Contributor : Marius Bozga <>
Submitted on : Thursday, April 9, 2009 - 4:51:58 PM
Last modification on : Thursday, November 19, 2020 - 3:58:02 PM


  • HAL Id : hal-00374788, version 1



Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, et al.. Kronos: a model-checking tool for real-time systems. Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Sep 1998, Lyngby, Denmark. pp.298-302. ⟨hal-00374788⟩