Antti E. J. Hyvärinen

Latest

• A Solicitous Approach to Smart Contract Verification
• Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
• Accurate Smart Contract Verification Through Direct Modelling