Formal Methods for Concurrent Systems (Debrecen 2012)

Abschnittsübersicht

• Abschnitt Formal Methods for Concurrent Systems auswählen

  Formal Methods for Concurrent Systems

  Alles einklappen Alles aufklappen

  ---

  Blocked course, University of Debrecen, SS 2012.

  http://www.risc.jku.at/people/schreine/courses/ss2012/formconc
  
  This course gives an overview on modeling and verifying concurrent systems; we supplement the theoretical presentation by a practical demonstration of the model checker Spin.

  ---

  • Aktivität News forum auswählen

    

    News forum
• Abschnitt Material auswählen

  Material

  • Modeling Concurrent Systems (4 on 1)
  • Specifying Properties of Concurrent Systems (4 on 1)
  • Demonstration Examples
  • Model-Checking Concurrent Systems (4 on 1)
  • Demonstration Examples
• Abschnitt Software auswählen

  Software

  • Spin Model Checker
  • Spin Online References
    • Basic Spin Manual
    • Concise Promela Reference
    • Promela Language Reference
  • RISC ProofNavigator
  • Manual (PDF)
  • Virtual Machine with Spin and the RISC ProofNavigator