Burkhart Wolff / talks

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).

May 2009: BT Research, Ipswich: Model-based Testing : Techniques and Industrial Applications
May 2009: ETH Zürich, Information Security Group. HOL-Boogie: An Interactive Prover-Backend for the Verifying C Compiler
Jan 2008: Sequence Testing with HOL-TestGen. LRI/Paris 6 (by Prof. Marie-Claude Gaudel), Orsay, France.
Jan 2008: Integration of an interactive HOL-Prover into ther Boogie Framework. LRI/Paris 6 (by Prof. Christine Paulin), Orsay, France.
Sept 2007: Integration of an interactive HOL-Prover into ther Boogie Framework. Dagstuhl, Verisoft Meeting.
April-Sept 2007: Invited Researcher at Microsoft Research, Redmont, USA.
September 2006: HOL-OCL: A Proof Environment for Object-Oriented Specification. Microsoft Research, Redmont, USA.
February 2005: Symbolic Test Case Generation for Recursive Functions. Microsoft Research, Redmont, USA.
December 2004: Symbolic Test Case Generation for Recursive Functions. LRI/Paris 6 (by Prof. Marie-Claude Gaudel), Orsay, France.

burkhart.wolff