Deductive Verification

Asynchronous Cooperative Contracts for Cooperative Scheduling
Proc. SEFM 2019
PDF Cite DOI
A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
Journal of Logic and Algebraic Methods in Programming 95:82-102, 2018.
PDF Cite DOI
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
Transactions on Foundations for Mastering Change 1: 130-156 (2016)
PDF Cite DOI