Natasha Sharygina

Latest

• A Solicitous Approach to Smart Contract Verification
• CHC Model Validation with Proof Guarantees
• Symbolic Model Checking for TLA+ Made Faster
• Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
• Accurate Smart Contract Verification Through Direct Modelling