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.

## 2010

Examples of year 2010

- Veltkamp/Dekker algorithm
- Defining Bernoulli and Binomial distributions from flip
- Drift of a clock using floating-point numbers
- Approximated Cosine in Why3
- Quicksort (arrays)
- Fast exponentiation
- Mergesort (lists)
- McCarthy's 91 function
- Integer square root
- Insertion sort (lists)
- Bresenham line drawing algorithm
- Binary search
- Amortized Queue, in Why3
- The N-queens problem, in Why3
- Searching a Linked List, in Why3
- Inverting an Injection, in Why3
- Sum and Maximum, in Why3
- Sparse Arrays in Capucine
- Sparse Arrays in Why3