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.
Tree Data Structure
Examples involving trees
- Red-black trees
- Generate all binary trees of size n
- FoVeOOS'11 Competition: challenge 2 in Why3
- Same fringe
- Tree relabelling
- Tree reconstruction from a list of leave depths
- FoVeOOS'11 Competition: challenge 2, in C
- FoVeOOS'11 Competition: challenge 2, in Java
- Binary Heaps in Why3