L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe
Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à
jour sur notre équipe.
Non-linear Arithmetic
Examples involving reasoning in non-linear arithmetic
- Sum of multiples of 3 and 5
- Floating-point square root using Newton iteration
- Approximated Cosine in C annotated in ACSL
- Approximated Cosine in Why3
- Fast exponentiation
- Integer square root
- Bresenham line drawing algorithm
- Binary Square Root