CESAR swMATH ID: 8510 Software Authors: Queille, J.P.; Sifakis, J. Description: Specification and verification of concurrent systems in CESAR. The aim of this paper is to illustrate by an example, the alternating bit protocol, the use of CESAR, an interactive system for aiding the design of distributed applications. CESAR allows the progressive validation of the algorithmic description of a system of communicating sequential processes with respect to a given set of specifications. The algorithmic description is done in a high level language inspired from CSP and specifications are a set of formulas of a branching time logic, the temporal operators of which can be computed iteratively as fixed points of monotonic predicate transformers. The verification of a system consists in obtaining by automatic translation of its description program an Interpreted Petri Net representing it and evaluating each formula of the specifications. Homepage: http://link.springer.com/chapter/10.1007%2F3-540-11494-7_22 Keywords: validation; communicating sequential processes; algorithmic description; CSP; fixed points of monotonic predicate transformers; interpreted Petri net Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; veriSoft; Java PathFinder; z3; MiniSat; LTL2BA; Esterel; ACL2; Bebop; BLAST; Coq; UNITY; HOL; DART; MONA Cited in: 149 Publications all top 5 Cited by 263 Authors 15 Vardi, Moshe Ya’akov 8 Duan, Zhenhua 8 Kupferman, Orna 8 Zhang, Nan 7 Laroussinie, François 7 Markey, Nicolas 6 Grumberg, Orna 6 Sifakis, Joseph 6 Tian, Cong 5 Clarke, Edmund Melson jun. 5 Peled, Doron A. 4 Bensalem, Saddek 4 Chockler, Hana 4 Godefroid, Patrice 4 Piterman, Nir 4 Wolper, Pierre 3 Bouyer, Patricia 3 Cousot, Patrick 3 Emerson, Ernest Allen 3 Gardy, Patrick 3 Graf, Susanne 3 Henzinger, Thomas A. 3 Kurshan, Robert P. 3 Namjoshi, Kedar S. 3 Pnueli, Amir 3 Queille, J. P. 3 Trefler, Richard J. 2 Apt, Krzysztof Rafal 2 Ben-David, Shoham 2 Bérard, Béatrice 2 Bozga, Marius 2 Brihaye, Thomas 2 Browne, Michael C. 2 Cleaveland, Rance 2 Da Costa, Arnaud 2 Gupta, Aarti 2 Haddad, Serge 2 Halbwachs, Nicolas 2 Huth, Michael R. A. 2 Huuck, Ralf 2 Jobstmann, Barbara 2 Kesten, Yonit 2 Murano, Aniello 2 Olderog, Ernst-Rüdiger 2 Ramakrishnan, C. R. 2 Sassolas, Mathieu 2 Shahar, Elad 2 Strichman, Ofer 2 Vardi, Gal 2 Visser, Willem 2 Wang, Chao 2 Wang, Xiaobing 1 Abdulla, Parosh Aziz 1 Aceto, Luca 1 Alur, Rajeev 1 Amla, Nina 1 Armoni, Roy 1 Barner, Sharon 1 Barringer, Howard 1 Basu, Ananda 1 Basu, Samik 1 Beer, Ilan 1 Benedikt, Michael A. 1 Beneš, Nikola 1 Berry, Gerard 1 Bhat, Girish S. 1 Biere, Armin 1 Bloem, Roderick 1 Boigelot, Bernard 1 Bougé, Luc 1 Brotherston, James 1 Bruyère, Véronique 1 Chatterjee, Krishnendu 1 Cherkasova, Ludmila A. 1 Clermont, Ph. 1 Cohen, Ariel 1 Copty, Fady 1 Couronné, P. 1 Cousot, Radhia 1 Crestani, Didier 1 Daniele, Marco 1 Di Stasio, Antonio 1 Dierks, Henning 1 Dong, Ruzhen 1 Dong, Yifei 1 D’silva, Vijay 1 Du, Ding-Zhu 1 Du, Hongwei 1 Du, Xiaoqun 1 Edwards, Doug 1 Ehlers, Rüdiger 1 Engelhardt, Kai 1 Engstrom, Eric 1 Faber, Johannes 1 Fahrenberg, Uli 1 Falaschi, Moreno 1 Falcone, Yliès 1 Fauconnier, Hugues 1 Fecher, Harald 1 Ferrante, Alessandro ...and 163 more Authors all top 5 Cited in 30 Serials 19 Theoretical Computer Science 19 Formal Methods in System Design 7 Information and Computation 5 The Journal of Logic and Algebraic Programming 3 Acta Informatica 3 Formal Aspects of Computing 3 Logical Methods in Computer Science 2 Information Processing Letters 2 Science of Computer Programming 2 Discrete Event Dynamic Systems 2 Journal of the ACM 2 Journal of Logical and Algebraic Methods in Programming 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 RAIRO, Informatique Théorique 1 ACM Transactions on Programming Languages and Systems 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 Cybernetics and Systems Analysis 1 Journal of Logic, Language and Information 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Control 1 Theory of Computing Systems 1 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 Journal of Intelligent and Fuzzy Systems 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review all top 5 Cited in 8 Fields 143 Computer science (68-XX) 59 Mathematical logic and foundations (03-XX) 6 Systems theory; control (93-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 1 Quantum theory (81-XX) Citations by Year