Tutorials
-
Burkhart Wolff: Digicosme Spring School Tutorial "Model-based Testing", Supelec, Amphi F3-05, 23.4.13, 9 - 12:30.
-
Burkhart Wolff: Isabelle/HOL and HOL-TestGen Tutorial at the FM Workshop of the EURO-MILS Project, 13/14.2.2013, Paris.
-
Makarius Wenzel and Abdou Feliachi: Isabelle tutorial at the Journées communes LTP - LAC - LAMHA at LIFO, Orléans. Date: Wed 24-Oct-2012 (9:30-17:30) and Thu 25-Oct-2012 (9:00-12:30)
-
Makarius Wenzel and Burkhart Wolff: Isabelle Tutorial at INRIA/PPS and Paris VII, INRIA-Roquencourt Paris, 10.4.2011.
-
Achim Brucker and Burkhart Wolff: The HOL-OCL Tutorial at the MoDELS 2008, Toulouse, 29.9.08. (slides)
-
Achim Brucker and Burkhart Wolff: Theorem-prover Based Testing with HOL-TestGen.TestCom/Fates 27.6.2007, Tallin, Estonia. (slides).
Also held at the NII, Tokyo, 9.6.08. (slides)
-
Burkhart Wolff : The HOL-Z Tutorial. Tutorial at the NII, Tokyo, 9.6.08. ( slides).
-
A.D. Brucker, D. Basin, J. Smaus and B. Wolff: Computer-supported Modeling and Reasoning - An Interactive Course in Isabelle 2004.
Held at the ETH Zürich in 2005. (slides, exercises)