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/M19Lawall: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "Julia's adventures with Why3 [http://why3.lri.fr/ Why3] is a platform for deductive program verification developed in the Inria Toccata team. In the Inria Whisper team, we h..." |
(No difference)
|
Revision as of 22:19, 26 April 2019
Julia's adventures with Why3
Why3 is a platform for deductive program verification developed in the Inria Toccata team. In the Inria Whisper team, we have been exploring the use of domain-specific languages to develop formally verified operating system components. This talk will present our exploration of the use of Why in the verification of multicore process schedulers, developed using the DSL Ipanema.
