CMC swMATH ID: 12422 Software Authors: Francois Laroussinie; Kim G. Larsen Description: CMC: A Tool for Compositional Model-Checking of Real-Time Systems. In this paper we present a tool (CMC) for compositional model-checking of real-time systems. CMC is based on a completely different method compared to existing real-time verification tools (HYTECH, KRONOS, UPPAAL). After a description of the method, we illustrate its efficiency by considering two examples: the Fischer’s mutual exclusion protocol and a railroad crossing system. Homepage: http://rd.springer.com/chapter/10.1007/978-0-387-35394-4_27 Related Software: Uppaal; Kronos; HyTech; TINA; Romeo; IF-2.0; UPPAAL TIGA; REDLIB; Synthia; fc2tools; CAESAR_SOLVE; Exp.Open; CADP; PetriNets; TAPAAL; PESTS; MuDiv; GitHub; libFAUDES; TCT Cited in: 31 Publications all top 5 Cited by 56 Authors 7 Cassez, Franck 5 Aceto, Luca 5 Larsen, Kim Guldstrand 4 Bouyer, Patricia 4 Srba, Jiří 3 Ingólfsdóttir, Anna 3 Laroussinie, François 2 Cleaveland, Rance 2 Fleury, Emmanuel 2 Fontana, Peter 2 Jacobsen, Lasse 2 Jacobsen, Morten 2 Lang, Frédéric 2 Lime, Didier 2 Mateescu, Radu 2 Møller, Mikael Harkjær 2 Roux, Olivier H. 1 Basin, David A. 1 Behrmann, Gerd 1 Bérard, Béatrice 1 Birgisson, Arnar 1 Bodei, Chiara 1 Braberman, Víctor 1 Burgueño, Augusto 1 Byg, Joakim 1 Chatain, Thomas 1 Costa, Gabriele 1 David, Alexandre 1 Degano, Pierpaolo 1 Dierks, Henning 1 Dingel, Juergen 1 Dufourd, Catherine 1 Esparza, Javier 1 Fábregas, Ignacio 1 Galletta, Letterio 1 Garavel, Hubert 1 Garbervetsky, Diego 1 Gregorio-Rodríguez, Carlos 1 Haddad, Serge 1 Hwang, Geng-Dian 1 Jackson, Daniel 1 Jard, Claude 1 Jørgensen, Kenneth Yrke 1 Kupferschmid, Sebastian 1 Maidl, Monika 1 Olivero, Alfredo 1 Pedersen, Mikkel Lykke 1 Petit, Antoine C. 1 Poulsen, Jan 1 Raskin, Jean-François 1 Reynier, Pierre-Alain 1 Rudie, Karen 1 Timo, Omer Landry Nguena 1 Waez, Md Tawhid Bin 1 Wang, Farn 1 Yu, Fang all top 5 Cited in 11 Serials 3 Theoretical Computer Science 1 ACM Computing Surveys 1 Acta Informatica 1 Journal of Automated Reasoning 1 Journal of Logic, Language and Information 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 31 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) Citations by Year