Modeling Lab

Organizer:	Prof. Heiko Mantel
Registration:	Please register with Ms. Harris (room E318) or Markus Aderhold (room E319).
Preparation Meeting:	Wednesday, October 19, 2011, 16:15 in room S2|02/E302
Regular Meeting:	Wednesday, 16:15–17:55 in room S2|02/A313

Content

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

Literature

• Isabelle/HOL: A Proof Assistant for Higher-Order Logic; Springer LNCS 2283 (an updated version is available here)
• documentation material on Isabelle and Higher-Order Logic (HOL)

Information for Participants

Participants of the course can find detailed information on the internal web page.

Last modified on 22 October 2012.