Published July 12, 2021
| Version 1.2.1
Software
Open
Vericert
Description
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Notes
If you use this software, please cite it as below.
Files
mpardalos/Vericert-Fun-fccm22.zip
Files
(1.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:889fc42b5da29ac3740b523123ec8522
|
1.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/mpardalos/Vericert-Fun/tree/fccm22 (URL)