https://github.com/CertiGraph/CertiGraph

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

compcert coq graph-algorithms vst

Last synced: 21 Sep 2025