×

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
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

Citations by Year