see also the index (by topic, by tool, by reference, by year)
Clément Fumex
https://fr.linkedin.com/pub/cl%C3%A9ment-fumex/92/a27/23b
- A challenge related to the Esterel Compiler
- Computation of the trajectory of an object submitted to gravity
- Counting bits in a bit vector
- The BitWalker, SPARK version
- The BitWalker, Why3 version
- The N-queens problem, using bit vectors
- The rightmost bit trick
see also the index (by topic, by tool, by reference, by year)