The ProVal team was stopped at the end of August 2012, and reborn into a new team
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.
A deductive verification tool for Java programs.
- Simple Electronic Purse, Java version
- Binary Search, Java version
- McCarthy 91 function, Java version
- Greatest Common Divisor, Bezout coefficients, Java version
- Selection Sort, Java version
- Filter elements of an array
- Fibonacci sequence, linear algorithm, Java version
- Dijkstra's Dutch Flag, Java version
- FoVeOOS'11 Competition: challenge 3, in Java
- FoVeOOS'11 Competition: challenge 2, in Java
- FoVeOOS'11 Competition: challenge 1, in Java