Section outline

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