Related Articles

Articles tagged by formal logic


Authors: Adrien Champion
Date: 2021-10-14
Category: 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... (Read more)