Français Anglais
Accueil Annuaire Plan du site
Home > News du laboratoire > DIGITEO seminar: lecture on March 20
DIGITEO seminar: lecture on March 20
DIGITEO seminar: lecture on March 20 DIGITEO seminar: lecture on March 20
20 March 2013

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

Abstract

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


 

Bio
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: http://www.digiteo.fr/Digiteo_Digiteo_Seminaire_Burkhart_Wolff
News
Yannis Manoussakis passed away
6 June 2021
We have just learned of the death of Yannis Manoussakis, Professor at the University of Paris-Saclay, on Saturday June 5.

He was the leader of the GALaC team and had been for many years director of the LRI, we lose a friend and a dear colleague.

Our

Semaine du cerveau : Cerveau connecté
16 March 2021

Wizard project
1 April 2021
Innovation Area: Public Safety, IoT, Mobility