VACID solutions

  •        0

Solutions of verification problems posed in paper "Verification of Ample Correctness of Invariants of Data-structures". Developed with various tools and languages.

http://vacid.codeplex.com/

Tags
Implementation
License
Platform

   




Related Projects