CertiGraph / CertiGraph

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CertiGraph/CertiGraph Stargazers