Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > WOLFF Burkhart
About LRI
Mr WOLFF Burkhart
WOLFF Professeur 1ere classe
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel : +33(0)169156640
Fax : +33(0)174854242
Office : 71/PCRI-S

Personal web page :
Email :

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Formal Model-Based Testing


Leadership positions
   - Software committee member
   - Member of the hiring committee
   - Research group deputy head

Principle investigator
   - Paral-ITP
   - ICTSSv3

   - Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
   - Verifying a signature architecture: a comparative case study.
   - HOL-Z 2.0: A Proof Environment for Z-Specifications.
   - A Verification Approach for Applied System Security
   - Proving Fairness and Implementation Correctness of a Microkernel Scheduler
   - HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
   - On Theorem Prover-based Testing
   - Formal firewall conformance testing: an application of test and proof techniques
   - Model Transformation as Conservative Theory-Transformation

Software & Patents
   - HOL-TestGen: A generator of test-data from HOL specifications
   - HOL-OCL: A proof system for UML/OCL
   - Le Système HOL-Z: The HOL-Z System


Ph.D. dissertations & Faculty habilitations
Ph.D   - Correct Tools for Formal Methods in Software Engineering

Contracts & Grants
   - HOL-testGen XT
   - Paral-ITP