Abstract: SMT-Friendly Formalization of the Solidity Memory Model.
Ákos HajduDejan JovanovicPublished in: SMT (2020)
Keyphrases
- formal model
- probabilistic model
- conceptual model
- computational model
- neural network
- prediction model
- theoretical framework
- theoretical analysis
- genetic algorithm
- prior knowledge
- natural language
- input data
- em algorithm
- higher level
- similarity measure
- high level
- information systems
- process model
- machine learning
- real time