blob: 2b457c9114240c123af93f4c280af1dd45ef0989 (
plain)
1
2
3
4
5
6
7
|
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
dafny2 Use More Dafny examples
VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
vacid0 Use Dafny attempts to VACID Edition 0 benchmarks
vstte2012 Use Dafny solutions for the VSTTE 2012 program verification competition
VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|