see also the index (by topic, by tool, by reference, by year)

## Data Structures

Examples of verified data structures

- AVL trees
- Amortized Queue, in Why3
- Binary Heaps in Why3
- Binomial heaps
- Braun Trees
- Build a balanced tree from a list
- Circular queue in an array
- Hash table implementation
- Hash tables with linear probing
- Random Access Lists
- Red-black trees
- Resizable arrays
- Ropes
- Skew heaps
- Sparse Arrays in Capucine
- Sparse Arrays in Why3
- VerifyThis 2015: solution to problem 1
- VerifyThis 2015: solution to problem 3
- VerifyThis 2017: Tree Buffer
- VerifyThis 2018: mind the gap
- VerifyThis 2018: mind the gap (alt)

see also the index (by topic, by tool, by reference, by year)