SMT-Friendly Formalization of the Solidity Memory Model.

Ákos Hajdu Dejan Jovanovic

Published in: CoRR (2020)

Keyphrases

formal model
management system
genetic algorithm
probabilistic model
statistical model
artificial intelligence
high level
d objects
mathematical model
information systems
prior knowledge
computational model
theoretical framework
experimental data
sensitivity analysis
long term memory