EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Attributed to:
Program Logics for Compositional Specification and Verification of Distributed Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-01090-4_30
Publication URI: http://dx.doi.org/10.1007/978-3-030-01090-4_30
Type: Book Chapter
Book Title: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (2018)
Page Reference: 513-520