see also the index (by topic, by tool, by reference, by year)
The 1st Verified Software Competition
http://www.macs.hw.ac.uk/vstte10/Competition.html
The 1st Verified Software Competition, organized by Peter Muller and N. Shankar and held during VSTTE 10. See also vscomp.org.
- Amortized Queue, in Why3
- Inverting an Injection, in Why3
- Searching a Linked List, in Why3
- Sum and Maximum, in Why3
- The N-queens problem, in Why3
see also the index (by topic, by tool, by reference, by year)