| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Let's Verify This with Why3
Abstract : We present solutions to the three challenges of the VerifyThis competition held at the 18th FM symposium in August 2012. These solutions use the Why3 environment for deductive program verification.
https://hal.inria.fr/hal-00967132
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Friday, March 28, 2014 - 9:22:17 AM
Last modification on : Saturday, June 25, 2022 - 10:12:57 PM
Long-term archiving on: : Saturday, June 28, 2014 - 11:00:42 AM
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Friday, March 28, 2014 - 9:22:17 AM
Last modification on : Saturday, June 25, 2022 - 10:12:57 PM
Long-term archiving on: : Saturday, June 28, 2014 - 11:00:42 AM
File
main.pdf
Files produced by the author(s)