Abschnittsübersicht

  • Formal Methods for Distributed Systems
    (Blocked Course, University of Debrecen, September 2009)

    http://www.risc.uni-linz.ac.at/people/schreine/courses/ws2009/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.