CertiCoq / VeriFFILinks

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

Alternatives and similar repositories for VeriFFI

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

Sorting: