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.
Jessie
http://www.frama-c.com/jessie.html
Jessie is a deductive verification plug-in of Frama-C, using Why as back-end
- Veltkamp/Dekker algorithm
- Insertion Sort, C version
- Selection Sort, C version
- Binary search in C annotated in ACSL
- Scalar product of vectors using floating-point numbers
- Drift of a clock using floating-point numbers
- Approximated Cosine, exact values and rounding errors
- Approximated Cosine in C annotated in ACSL
- FoVeOOS'11 Competition: challenge 3, in C
- FoVeOOS'11 Competition: challenge 2, in C
- FoVeOOS'11 Competition: challenge 1, in C