see also the index (by topic, by tool, by reference, by year)
The COST FoVeOOS'11 Competition
http://foveoos2011.cost-ic0701.org/verification-competition
The examples of the first COST Verification Competition, held during the FoVeOOS Conference in Turin in 2011
- Find the maximal element in an array
- FoVeOOS'11 Competition: challenge 1, in C
- FoVeOOS'11 Competition: challenge 1, in Java
- FoVeOOS'11 Competition: challenge 1, in Why3
- FoVeOOS'11 Competition: challenge 2 in Why3
- FoVeOOS'11 Competition: challenge 2, in C
- FoVeOOS'11 Competition: challenge 2, in Java
- FoVeOOS'11 Competition: challenge 3 in Why3
- FoVeOOS'11 Competition: challenge 3, in C
- FoVeOOS'11 Competition: challenge 3, in Java
- Tortoise and hare algorithm
see also the index (by topic, by tool, by reference, by year)