http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM19Lawall 2026-04-05T23:03:03Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M19Lawall&diff=2028&oldid=prev 2019-04-26T20:20:29Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 22:20, 26 April 2019</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[http://why3.lri.fr/ 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.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[http://why3.lri.fr/ 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.</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Joint work with Gilles Muller, Virginia Aponte, and the rest of the Ipanema team.</ins></div></td></tr> </table>

Julia http://mw.hh.se/wg211/index.php?title=WG211/M19Lawall&diff=2027&oldid=prev 2019-04-26T20:19:58Z

<p>Created page with &quot;Julia&#039;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...&quot;</p> <p><b>New page</b></p><div>Julia&#039;s adventures with Why3<br /> <br /> [http://why3.lri.fr/ 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.</div>

Julia