Articles liés

Articles avec le tag smt


Auteurs: Adrien Champion
Date: 2021-10-14
Catégorie: Formal Methods

Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl... (Lire plus)