Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Séminaire DIGITEO, séance du 20/03
Séminaire DIGITEO, séance du 20/03
Séminaire DIGITEO, séance du 20/03 Séminaire DIGITEO, séance du 20/03
20 mars 2013

Using Theorem Provers for Testing - Foundations, Challenges and Future Directions - Burkhart Wolff
Mercredi 20 mars 14:30
Supélec, amphi F.3.05.


While Formal Testing and Theorem-Proving are still perceived as antagonisms by many, there is a growing research field using the combination of both to increase the applicability of Formal Methods in industry, in particular in the area of Safety-and Security critical systems requiring formal certifications.

In this talk, Burkhart Wolff will present research (partially funded by Digiteo) around the HOL-TestGen System, which strives for a synthesis of interactive and automated theorem proving as well of different formal testing techniques.

Burkhart Wolff will present results which are of mutual interest for both research areas as well as an outlook for future


Burkhart Wolff's research interests are in the field of modeling and model-based software development as well as quality assurence by validation and verification. In particular, his research has been focussed on the integration of formal foundations and proof techniques into the model-driven engineering approach (MDE) and model-based testing techniques into software development.


This captures the foundation of specification and programming languages and the construction of correct tools - based on interactive and automated theorem proving techniques - in order to support these activities during design, verification and systematic test.

Particular application fields of these techniques have been models of operating systems and their security mechanisms.

Pour en savoir plus:
TrackML dans Nature
21 juin 2018
L'apprentissage automatique peut-il aider la physique des hautes énergies à découvrir et à caractériser de nouvelles particules ? TAO participe à l'organisation du challenge TrackML avec le CERN. La seconde phase de la compétition utilisera Codalab.

Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :

Michèle Sebag a été élue membre de l'Academie des Technologies
13 avril 2018
Michèle Sebag, DR CNRS et Directrice Adjointe du LRI, a été élue membre de l'Academie des Technologies