Practical Machine-Checked Formalization of Change Impact Analysis

von Palmskog, Karl
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Deep Generation of Coq Lemma Names Using Elaborated Terms

von Nie, Pengyu
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Towards a Verified Model of the Algorand Consensus Protocol in Coq

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