see also the index (by topic, by tool, by reference, by year)
The 2nd Verified Software Competition
https://sites.google.com/site/vstte2012/compet
The 2nd Verified Software Competition, proposed by J.-C. Filliâtre, A. Paskevich, and A. Stump
- Call-by-value reduction of SK terms
- Circular queue in an array
- Find the shortest path in a directed graph using BFS
- Sort an array of Boolean values
- Tree reconstruction from a list of leave depths
see also the index (by topic, by tool, by reference, by year)