Horacio Mijail Anton Quiles

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Virtual Machine

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive verification of smart contracts with Dafny. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. CoRR (2023)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM (2023)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive Verification of Smart Contracts with Dafny. FMICS (2022)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive Verification of Smart Contracts with Dafny. CoRR (2022)