×

Kronos

swMATH ID: 1270
Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Description: KRONOS is a tool developed with the aim to verify complex real-time systems. Real-time systems are systems that must perform a task within strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent systems. These systems are often part of complex safety-critical applications such as aircraft avionics, which are very difficult to design and analyze, but whose correct behavior must be ensured because failures may have severe consequences. Hence, real-time systems need to be rigorously modeled and specified in order to be able to formally prove their correctness with respect to the desired requirements. In KRONOS, components of real-time systems are modeled by timed automata and the correctness requirements are expressed in the real-time temporal logic TCTL.
Homepage: http://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/
Operating Systems: Linux, Windows, Solaris
Keywords: real-time systems; timed automata; timed temporal logics; verification
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; PVS; PRISM; Rabbit; Maude; TINA; CADP; Romeo; NuSMV; d/dt; TAXYS; ASTRAL; UPPAAL TIGA; Tempo; RSOLVER
Referenced in: 243 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Kronos: A verification tool for real-time systems. Zbl 1060.68606
Yovine, Sergio
1997
all top 5

Referenced by 425 Authors

12 Larsen, Kim Guldstrand
11 Bouyer, Patricia
9 Maler, Oded
9 Wang, Farn
7 Kwiatkowska, Marta Z.
7 Penczek, Wojciech
7 Yovine, Sergio
6 Dang, Zhe
6 Markey, Nicolas
6 Meseguer Guaita, José
6 Norman, Gethin
6 Olveczky, Peter Csaba
5 Asarin, Eugene
5 Bozga, Marius
5 Braberman, Víctor
5 Dang, Thao
5 Gomez, Rodolfo
5 Olivero, Alfredo
5 Półrola, Agata
5 Sproston, Jeremy
5 Tripakis, Stavros
4 Bérard, Béatrice
4 Cassez, Franck
4 Graf, Susanne
4 Kemmerer, Richard A.
4 Laroussinie, François
4 Møller, Jesper B.
4 Niebert, Peter
4 Roux, Olivier H.
4 Sankur, Ocan
4 Yi, Wang
3 Abdulla, Parosh Aziz
3 Alur, Rajeev
3 Andersen, Henrik Reif
3 Balaguer, Sandie
3 Bowman, Howard
3 Chatain, Thomas
3 Cleaveland, Rance
3 David, Alexandre
3 Dierks, Henning
3 Engell, Sebastian
3 Fahrenberg, Uli
3 Fribourg, Laurent
3 Hulgaard, Henrik
3 Li, Xuandong
3 Ouaknine, Joel O.
3 Quaas, Karin
3 Raskin, Jean-François
3 Sifakis, Joseph
3 Srba, Jiří
3 Srivathsan, Balaguru
3 Stursberg, Olaf
3 Vaandrager, Frits W.
3 Worrell, James B.
3 Yu, Fang
3 Zhao, Jianhua
3 Zheng, Guoliang
2 Abdeddaïm, Yasmina
2 Aceto, Luca
2 Azgomi, Mohammad Abdollahi
2 Bengtsson, Johan
2 Benvenuti, Luca
2 Beyer, Dirk
2 Boucheneb, Hanifa
2 Campagna, Dario
2 Cofer, Darren D.
2 D’Argenio, Pedro Rubén
2 Deneux, Johann
2 Fontana, Peter
2 Garavel, Hubert
2 Gardey, Guillaume
2 Geeraerts, Gilles
2 Girard, Antoine
2 Goldman, Robert P.
2 Haddad, Serge
2 Henzinger, Thomas A.
2 Herbreteau, Frédéric
2 Hwang, Geng-Dian
2 Ibarra, Oscar H.
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Johansson, Karl Henrik
2 Khoumsi, Ahmed
2 Klaudel, Hanna
2 Konur, Savas
2 Kurkowski, Mirosław
2 Lang, Frédéric
2 Lanotte, Ruggero
2 Lichtenberg, Jakob
2 Lime, Didier
2 Lygeros, John
2 Maggiolo-Schettini, Andrea
2 Manna, Zohar
2 Møller, Mikael Harkjær
2 Morari, Manfred
2 Motallebi, Hassan
2 Mukhopadhyay, Supratik
2 Muñoz, César A.
2 Musliner, David J.
2 Ober, Ileana
...and 325 more Authors

Referencing Publications by Year