Modeling Lab

Organizer:	Prof. Dr. Heiko Mantel
Registration:	via TUCaN (20-00-0383-pr), Miriam Rifai-Schön (S2|02 E318), or Jinwei Hu, Ph.D. (S2|02 E322)
Preparation Meeting:	Wednesday 16.10.2013 16:00 at S2|02 A313
Regular Meeting:	Tuesdays, 16:15–17:55 in S2|02 E302, starting from October 22, 2013

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)

Internal Area

Materials for participants are available in the internal area.

Last modified on 21 October 2013.