Modeling Lab

Organizer: Prof. Dr. Heiko Mantel
Registration: via TUCAN or in our secretariat
Preparation Meeting: Thursday, October 18, 2012, 16:15 in room S2|02/E302
Regular Meeting: Mondays, 14:25–16:05 in S2|02/E302, starting from October 22, 2012


In this lab course, selected systems are modeled formally along with properties that these systems should have. This will be supported by employing a tool (Isabelle/HOL) for formal modeling, formal specification, and formal analysis. Topics include:

  • designing formal models of systems
  • specifying properties of systems
  • identifying advantages and disadvantages of a chosen model


Internal Area

Materials for participants are available in the internal area.

Last modified on 22 October 2012.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang