Formal Methods for Concurrent Systems (Debrecen 2012)

Section outline

• Select section Formal Methods for Concurrent Systems

  Formal Methods for Concurrent Systems

  Collapse all Expand all

  ---

  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.

  ---

  • Select activity News forum

    

    News forum
• Select section Material

  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
• Select section Software

  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