Section: Bilateral Contracts and Grants with Industry

CIFRE contract with Adacore

Participants : Claude Marché [contact] , Andrei Paskevich, Claire Dross.

Jointly with the thesis of C. Dross, supervised in collaboration with the Adacore company, we established a bilateral collaboration contract, that started in January 2012 for 3 years.

The aim is to strengthen the usability of the Alt-Ergo theorem prover in the context of the GnatProve environment for the verification of safety-critical Ada programs [32] . A focus is made on programs involving Ada containers  [80] .