VeriFFI
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
29 stars
8 watching
1 forks
Language: Coq
last commit: 3 months ago