Home
Newspeak
Publications
Links

• CIL - Infrastructure for C Program Analysis and Transformation
• APRON numerical abstract domain library
• Compcert - Compilers you can formally trust
• OMF - Ocaml Mathematical Framework
• CEA MeASI
• LSV ENS Cachan
• Pôle de compétitivité System@tic