Lab: Formal Specification and Verification in Isabelle/HOL

Moderator: Formal Methods for Information Security

FlorianD
Mausschubser
Mausschubser
Beiträge: 92
Registriert: 14. Jan 2015 17:25

Lab: Formal Specification and Verification in Isabelle/HOL

Beitrag von FlorianD »

In the summer term 2020, the MAIS group offers the lab "Formal Specification and Verification in Isabelle/HOL" (6CP, TUCaN Id: 20-00-0778-pr).

Formal methods allow one to model critical requirements precisely and to certify with mathematical rigor that such requirements are met by a system. For applying formal methods to real world problems, tool support is essential. This lab course introduces how to use the Isabelle/HOL tool that is one of the internationally leading tools. Formal models of increasing conceptual complexity will be defined in Isabelle's higher-order logic, so that Isabelle's semi-automatic verification engine may subsequently be used to verify the desired properties. The topics covered by this course include:
  • techniques for modeling systems in higher-order logic,
  • techniques for specifying desired systems properties,
  • design of formal models for systems,
  • evaluation of advantages and disadvantages of a chosen model.
Further information can be found on the course webpage (https://www.mais.informatik.tu-darmstad ... -ss20.html).

The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of the courses via TUCaN or write a short e-mail to kickoff-2020@mais.informatik.tu-darmstadt.de in case you want to register in TUCaN after the kick-off meeting.
Dateianhänge
Lab-Isabelle.png
Lab-Isabelle.png (133.94 KiB) 46 mal betrachtet

FlorianD
Mausschubser
Mausschubser
Beiträge: 92
Registriert: 14. Jan 2015 17:25

Re: Lab: Formal Specification and Verification in Isabelle/HOL

Beitrag von FlorianD »

Update:
The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of the courses via TUCaN or write a short e-mail to kickoff-2020@mais.informatik.tu-darmstadt.de in case you want to register in TUCaN after the kick-off meeting.

Antworten

Zurück zu „Formal Methods for Information Security“