Home
Newspeak
Penjili
TPLib
Publications
Links
Some links
Collaborations
CEA MeASI
LSV ENS Cachan
MAXPLUS
(INRIA Saclay)
POPART
(INRIA Rhône-Alpes)
VERIMAG
(CNRS)
Project participation
Pôle de compétitivité
System@tic
Usine Logicielle
Plates-Formes de Confiance
ES_PASS
ASOPT
Related tools
CIL - Infrastructure for C Program Analysis and Transformation
APRON numerical abstract domain library
Compcert - Compilers you can formally trust
OMF - Ocaml Mathematical Framework
Bisect - Code coverage tool for Objective Caml