4. Solutions

The Analysis of Concurrent Systems

Volume 207 of the series Lecture Notes in Computer Science pp 199-210

Date:

An example of specification and verification in CESAR

  • J.Cl. FernandezAffiliated withInstitut IMAG, Laboratoire Genie Informatique
  • , J.Ph. SchwartzAffiliated withInstitut IMAG, Laboratoire Genie Informatique
  • , J. SifakisAffiliated withInstitut IMAG, Laboratoire Genie Informatique