CertiGraph

Pinned Repositories

CertiGC
A formally verified generational garbage collector.
Language:Coq7 4 00
CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Language:Coq17 10 135

CertiGraph's Repositories

CertiGraph/CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Language:Coq17 10 135
CertiGraph/CertiGC
A formally verified generational garbage collector.
Language:Coq7 4 00