Natasha Sharygina

Latest

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