On the Prediction of Smart Contracts' Behaviours - Archive ouverte HAL Access content directly
Conference Papers Year :

On the Prediction of Smart Contracts' Behaviours

(1, 2) , (1) , (1)


Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart contracts and the interaction with external actors in order to maximize objective functions. We define a core language of programs with a minimal set of smart contract primitives and we describe the whole system as a parallel composition of smart contracts and users. We therefore express the system behaviour as a first logic formula in Presburger arithmetics and study the maximum profit for each actor by solving arithmetic constraints.
Fichier principal
Vignette du fichier
main.pdf (432.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02392997 , version 1 (12-12-2019)



Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti. On the Prediction of Smart Contracts' Behaviours. SG65 - Colloquium in Honour of Stefania Gnesi, Oct 2019, Porto, Portugal. pp.397--415, ⟨10.1007/978-3-030-30985-5_23⟩. ⟨hal-02392997⟩
60 View
105 Download



Gmail Facebook Twitter LinkedIn More