H2020 projects about "compcert"
The page lists 3 projects related to the topic "compcert".
# |
achronym |
title |
year |
1 |
CoqHoTT |
Coq for Homotopy Type Theory |
2015 |
2 |
SMART |
Strong Modular proof Assistance: Reasoning across Theories |
2017 |
3 |
VESTA |
VErified STAtic analysis platform |
2018 |