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:
Wanyu Liu reçoit le Prix Doctorants de l'ED STIC
01 décembre 2017
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Telecom, reçoit le premier prix (ex aequo) pour ses travaux sur "BIGnav: Information Theory meets Human-Computer Interaction".

Wendy Mackay Docteur Honoris Causa de l'Université d'Aarhus
15 septembre 2017
Wendy Mackay a reçu le 15 septembre le titre de Doctorem Scientarum Honoris Causa de l'Université d'Aarhus (Danemark) pour l’ensemble de sa carrière, notamment ses travaux sur la vidéo interactive, la conception participative et la réalité mixte.

La Fête de la Science au LRI
13 octobre 2017
À l'occasion de la Fête de la Science, le LRI accueille les scolaires le 13 octobre et le grand public le 15 octobre.