CertiCoq / VeriFFI

VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
43Updated 2 months ago

Alternatives and similar repositories for VeriFFI:

Users that are interested in VeriFFI are comparing it to the libraries listed below