Project Description
VccDryad aims at extending VCC with proof strategies that enable automated verification of C programs that manipulate complex data structures.

Last edited Oct 11, 2013 at 6:17 AM by EdgarPek, version 5