An example of specification and verification in CESAR

  • J.Cl. Fernandez
  • J.Ph. Schwartz
  • J. Sifakis
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)


Specification Language State Graph Description Language Execution Sequence Verification Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [Qu1]
    J.P. QUEILLE "The CESAR system: an aided and certification system for distributed applications". Proc. of the 2nd inter. conf. on distribued computing systems Computer Society Press pp149–161 1981.Google Scholar
  2. [Qu2]
    J.P. QUEILLE "Le système CESAR: Description, spécification et analyse des applications réparties"Thèse docteur-ingénieur, Grenoble, 1982.Google Scholar
  3. [QS1]
    J.P. QUEILLE and J. SIFAKIS: "Specification and verification of concurrent systems in CESAR" Inter. Symp. om Programming L.N.C.S 137 pp337–350, 1982.Google Scholar
  4. [Sc]
    J.Ph. SCHWARTZ:"QUASAR, une réalisation du système CESAR: Description, spécification et analyse des applications réparties. Thèse docteur-ingénieur, Grenoble, 1983Google Scholar
  5. [Si]
    J. SIFAKIS:"A unified approach for studying the properties of transition systems" TCS 19, pp227–258, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • J.Cl. Fernandez
    • 1
  • J.Ph. Schwartz
    • 1
  • J. Sifakis
    • 1
  1. 1.Institut IMAGLaboratoire Genie InformatiqueSaint Martin D'Heres CedexFrance

Personalised recommendations