see also the index (by topic, by tool, by reference, by year)
Permutation
Examples involving a permutation, properties of injectivity and/or surjectivity
- Binary Heaps in Why3
- Inverse in place
- Inverting an Injection, in Why3
- Selection Sort, C version
- Selection Sort, Java version
- Sparse Arrays in Capucine
- Sparse Arrays in Why3
- VerifyThis 2018: Register allocation
- VerifyThis 2021: Lexicographic Permutations (version 1)
- VerifyThis 2021: Lexicographic Permutations (version 2)
see also the index (by topic, by tool, by reference, by year)