Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts

DOI10.1007/978-3-031-10769-6_1OpenAlexW4289104011MaRDI QIDQ2104490

Elvira Albert, Clara Rodríguez-Núñez, Albert Rubio, Pablo Gordillo, Alejandro Hernández-Cerezo

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_1

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• GASTAP

Cites Work

• Automatic generation of precise and useful commutativity conditions
• Peephole Partial Order Reduction
• Constrained dynamic partial order reduction
• Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings. Part I

This page was built for publication: Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts