Overall Objectives
Application Domains
New Software and Platforms
Partnerships and Cooperations
Bibliography
 PDF e-Pub

Section: New Results

Program verification

R. Lepigre submitted a paper describing the ${\text{PML}}_{2}$ programming language and proof assistant [35], which was the main object of his recently defended PhD thesis [37].