Rodrigo Otoni

Latest

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