Skip to Main content Skip to Navigation
Conference papers

On the Prediction of Smart Contracts' Behaviours

Cosimo Laneve 1, 2 Claudio Coen 1 Adele Veschetti 1
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Laneve Cosimo <>
Submitted on : Thursday, December 12, 2019 - 9:31:14 AM
Last modification on : Friday, October 30, 2020 - 12:04:04 PM
Long-term archiving on: : Friday, March 13, 2020 - 1:16:32 PM


Files produced by the author(s)




Cosimo Laneve, Claudio 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⟩



Record views


Files downloads