Lab Course: Formal Specification and Verification in Isabelle/HOL

Moderator: Modellierung, Spezifikation und Semantik

tobias.hamann
Windoof-User
Windoof-User
Beiträge: 32
Registriert: 4. Okt 2010 15:58

Lab Course: Formal Specification and Verification in Isabelle/HOL

Beitrag von tobias.hamann » 14. Feb 2019 10:37

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

Further information can be found on the course webpage (http://www.mais.informatik.tu-darmstadt ... -ss19.html)

The joint introductory meeting for all labs and seminars will be announced when it has been fixed and will presumably take place in the first week of teaching.
IsabelleLab-Ad-SS19.png
IsabelleLab-Ad-SS19.png (115.31 KiB) 93 mal betrachtet
Tobias Hamann, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Zurück zu „Modellierung, Spezifikation und Semantik“