deductive verification | InfoBlender

deductive verification

VOCAL — The Verified OCaml Library 7/24/2017

By Mário Pereira, LRI — Université Paris-Saclay, France.

Read more

Formalizing Single-assignment Program Verification: an Adaptation-complete Approach 3/30/2016:

application/pdf icon

Download Slides (pdf)

By Cláudio Belo Lourenço, HASLab/INESC TEC & University of Minho.

Read more