Reviews
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Search similar apps
License
MIT License
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Creator
