boulme


Envoyer un message privé à cet auteur

Envoyer un message

Articles de cet auteur

VPL (Verimag/Verified Polyhedron Library)

mardi 20 octobre 2020

KALRAY-CompCert

mardi 6 juillet 2021

SatAns-Cert

mardi 20 octobre 2020

the Chamois CompCert Compiler

mardi 20 octobre 2020

The Impure Library

vendredi 9 octobre 2020

The VPL Tactic

mardi 20 octobre 2020

[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié

jeudi 20 mars 2025

[L3/M1/M2 Internship] Topics in Formally Verified Compilation

mercredi 1er juin 2022

[Postdoc positions] Coq Developments

mercredi 16 octobre 2019
Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121955