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)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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