A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier

Documenti analoghi

• Formal Modelling and Analysis of Slot Machines
  di: Groote, Jan Friso, et al.
  Pubblicazione: (2024)
• A formal specification of the desired software behaviour of the Princess Marijke lock complex
  di: Groote, Jan Friso, et al.
  Pubblicazione: (2025)
• A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
  di: van Glabbeek, Rob, et al.
  Pubblicazione: (2025)
• A Quadratic Lower Bound for Simulation
  di: Groote, Jan Friso, et al.
  Pubblicazione: (2024)
• Tutorial: Designing Distributed Software in mCRL2
  di: Groote, Jan Friso, et al.
  Pubblicazione: (2021)