Formal Methods for Distributed Systems (Debrecen 2011)

Section outline

• Select section General

  General

  Collapse all Expand all

  Formal Methods for Distributed Systems
  (Blocked Course, University of Debrecen, February 2011)
  
  http://www.risc.jku.at/people/schreine/courses/ss2011/formdist
  
  This course gives an overview on modeling and verifying distributed systems; we supplement the theoretical presentation by a practical demonstration of the model checker Spin.
  
  

  • Select activity News forum

    

    News forum
• Select section Topic 1

  Topic 1

  Material
  

  • Slides (4 on 1)
  • Promela Model
    • LTL Formula (Mutual Exclusion)
    • LTL Formula (No Starvation)
• Select section Topic 2

  Topic 2

  Spin
  

  • Spin Home
  • A Virtual Machine with Spin Preinstalled