SMT-Friendly Formalization of the Solidity Memory Model.
Ákos HajduDejan JovanovicPublished in: ESOP (2020)
Keyphrases
- formal model
- computational model
- data sets
- neural network
- statistical model
- d objects
- sensitivity analysis
- conceptual model
- experimental data
- theoretical analysis
- management system
- probabilistic model
- cost function
- similarity measure
- high level
- real time
- em algorithm
- mathematical model
- control system
- data model
- reinforcement learning
- long term memory