Deductive Program Verification with Why3
1 : Université Paris Sud
Université Paris XI - Paris Sud
Andrei Paskevich - Voir aussi http://why3.lri.fr/ejcp-2018/
| Type : | : | oral |
| Langue du texte intégral | : | français |
| Commentaire | : | http://why3.lri.fr/ejcp-2018/ |
| Date de production, écriture | : | 08/02/2022 |
| Mots-Clés | : | why3 ; preuve de programme ; whyML ; verification ; specification ; Hoare |
| PDF version | : |  PDF version |
- Poster
