On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M19Blazy

From WG 2.11
Revision as of 12:16, 29 April 2019 by Sandrine (talk | contribs) (Created page with "I will present a new course on deductive verification with Why3 that I teach to undergraduate students. It will be the opportunity to explain the kind of imperative programs t...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

I will present a new course on deductive verification with Why3 that I teach to undergraduate students. It will be the opportunity to explain the kind of imperative programs that can be automatically proved with Why3, and to make a demo of the Why3 tool.

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M19Blazy&oldid=2045"