Deductive Proof of Industrial Smart Contracts Using Why3

von Nehaï, Zeinab
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

An Automated Deductive Verification Framework for Circuit-building

von Chareton, Christophe
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)