Follow
Rodrigo Otoni
Title
Cited by
Cited by
Year
Accurate smart contract verification through direct modelling
M Marescotti, R Otoni, L Alt, P Eugster, AEJ Hyvärinen, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
242020
Theory-specific proof steps witnessing correctness of SMT executions
R Otoni, M Blicha, P Eugster, AEJ Hyvärinen, N Sharygina
2021 58th ACM/IEEE Design Automation Conference (DAC), 541-546, 2021
112021
Local analysis of determinism for CSP
R Otoni, A Cavalcanti, A Sampaio
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
82017
A Solicitous Approach to Smart Contract Verification
R Otoni, M Marescotti, L Alt, P Eugster, A Hyvärinen, N Sharygina
ACM Transactions on Privacy and Security 26 (2), 1-28, 2023
72023
Symbolic Model Checking for TLA+ Made Faster
R Otoni, I Konnov, J Kukovec, P Eugster, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2023
12023
CHC Model Validation with Proof Guarantees
R Otoni, M Blicha, P Eugster, N Sharygina
International Conference on Integrated Formal Methods, 62-81, 2023
2023
Towards an Algebraic Specification of Quantum Networks
A Buckley, P Chuprikov, R Otoni, R Rand, R Soulé, P Eugster
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum …, 2023
2023
Automated verification of blockchain technologies with correctness guarantees
RB Otoni
2023
The system can't perform the operation now. Try again later.
Articles 1–8