An example of specification and verification in CESAR

  • J.Cl. Fernandez
  • J.Ph. Schwartz
  • J. Sifakis
4. Solutions

DOI: 10.1007/3-540-16047-7_47

Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)
Cite this paper as:
Fernandez J., Schwartz J., Sifakis J. (1985) An example of specification and verification in CESAR. In: Denvir B.T., Harwood W.T., Jackson M.I., Wray M.J. (eds) The Analysis of Concurrent Systems. Lecture Notes in Computer Science, vol 207. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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