CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
17 stars
10 watching
5 forks
Language: Coq
last commit: 4 months ago
Linked from 1 awesome list
compcertcoqgraph-algorithmsvst
coq-community/awesome-coq