SMT-Friendly Formalization of the Solidity Memory Model

TitleSMT-Friendly Formalization of the Solidity Memory Model
Publication TypeBook Chapter
Year of Publication2020
AuthorsHajdu, Á., and Jovanović, D.
Book TitleEuropean Symposium on Programming
Series TitleLecture Notes in Computer Science
PublisherSpringer
Notes(Accepted)
URLhttps://arxiv.org/abs/2001.03256