Section outline

  • 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.