The ProVal team was stopped at the end of August 2012, and reborn into a new team
Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.
Claude Marché
- Sum of multiples of 3 and 5
- Insertion Sort, C version
- Selection Sort, C version
- Binary search in C annotated in ACSL
- 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
- Scalar product of vectors using floating-point numbers
- Drift of a clock using floating-point numbers
- Approximated Cosine, exact values and rounding errors
- Approximated Cosine in C annotated in ACSL
- Approximated Cosine in Why3
- Various programs computing the factorial, in Why3
- Fibonacci function, linear/logarithmic algorithms, Why3 version
- Edition distance
- Fast exponentiation
- Integer square root
- Summing the elements of a list
- VerifyThis @ FM 2012, problem 2
- FoVeOOS'11 Competition: challenge 3, in C
- FoVeOOS'11 Competition: challenge 3, in Java
- FoVeOOS'11 Competition: challenge 2, in C
- FoVeOOS'11 Competition: challenge 2, in Java
- FoVeOOS'11 Competition: challenge 1, in C
- FoVeOOS'11 Competition: challenge 1, in Java
- FoVeOOS'11 Competition: challenge 1, in Why3
- Binary Heaps in Why3
- Sparse Arrays in Capucine
- In-Place Linked-List Reversal in Why3