5093839
doi
10.5281/zenodo.5093839
oai:zenodo.org:5093839
James D. Pollard
Imperial College London
Nadesh Ramanathan
Imperial College London
John Wickerson
Imperial College London
ymherklotz/vericert: Vericert v1.2.1
Yann Herklotz
Imperial College London
url:https://github.com/ymherklotz/vericert/tree/v1.2.1
info:eu-repo/semantics/openAccess
Other (Open)
<p>A formally verified high-level synthesis tool based on CompCert and written in Coq.</p>
Zenodo
2021-07-12
info:eu-repo/semantics/other
3983572
v1.2.1
1633115717.477233
1410368
md5:5c30f4f0dfcfb3662c4d00ba1f946a44
https://zenodo.org/records/5093839/files/ymherklotz/vericert-v1.2.1.zip
public
https://github.com/ymherklotz/vericert/tree/v1.2.1
Is supplement to
url
10.5281/zenodo.3983572
isVersionOf
doi