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; UPPAAL TIGA; ASTRAL; REDLIB; Tempo Cited in: 246 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Kronos: A verification tool for real-time systems. Zbl 1060.68606Yovine, Sergio 1997 all top 5 Cited by 427 Authors 12 Bouyer, Patricia 12 Larsen, Kim Guldstrand 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 Sankur, Ocan 5 Sproston, Jeremy 5 Tripakis, Stavros 4 Alur, Rajeev 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 Srivathsan, Balaguru 4 Yi, Wang 3 Abdulla, Parosh Aziz 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 Henzinger, Thomas A. 3 Herbreteau, Frédéric 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 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 Clemente, Lorenzo 2 Cofer, Darren D. 2 D’Argenio, Pedro Rubén 2 Deneux, Johann 2 Fontana, Peter 2 Garavel, Hubert 2 Gardey, Guillaume 2 Gastin, Paul 2 Geeraerts, Gilles 2 Girard, Antoine 2 Goldman, Robert P. 2 Haddad, Serge 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. ...and 327 more Authors all top 5 Cited in 38 Serials 29 Theoretical Computer Science 19 Formal Methods in System Design 9 Formal Aspects of Computing 9 Real-Time Systems 6 Information and Computation 5 Fundamenta Informaticae 5 5 The Journal of Logic and Algebraic Programming 3 Acta Informatica 3 Automatica 3 Discrete Event Dynamic Systems 2 Science of Computer Programming 2 International Journal of Robust and Nonlinear Control 2 European Journal of Control 2 Journal of Logical and Algebraic Methods in Programming 1 ACM Computing Surveys 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Mathematics and Computers in Simulation 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 AI Communications 1 Journal of Logic and Computation 1 Distributed Computing 1 Journal of Logic, Language and Information 1 Nordic Journal of Computing 1 Theory of Computing Systems 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Universal Computer Science 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 ACM Transactions on Computational Logic 1 Studies in Computational Intelligence 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Frontiers of Computer Science 1 Computer Science Review all top 5 Cited in 11 Fields 232 Computer science (68-XX) 24 Systems theory; control (93-XX) 19 Mathematical logic and foundations (03-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Operations research, mathematical programming (90-XX) 5 Information and communication theory, circuits (94-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Biology and other natural sciences (92-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 General topology (54-XX) Citations by Year