The Trusted Computing Base of the CompCert Verified Compuer

von Monniaux, David
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

von Braine, Julien
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Verification, model checking, and abstract interpretation : 18th international conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings

Veröffentlicht 2017