Chair for Logic and Verification

Formal Modelling and Verification using the Isabelle system

Isabelle is a mathematical modelling and verification tool that can be used for Common Criteria certification at levels EAL7 and ITSEC certification at level E6.

This course explains the underlying principles and techniques of mathematical modelling, introduces the required logical vocabulary, and combines this with extensive practical exercises.

Duration: two to five days, depending on customer's needs.