Home
Newspeak
Penjili
TPLib
Publications
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