Decentralised smart contracts represent the next step in the development of protocols that support the interaction of independent players without the presence of a coercing authority. Based on protocols à la BitCoin for digital currencies, smart contracts are believed to be a potentially enabling technology for a wealth of future applications. The validation of such an early developing technology is as necessary as it is complex. In this paper we combine game theory and formal models to tackle the new challenges posed by the validation of such systems.
CITATION STYLE
Bigi, G., Bracciali, A., Meacci, G., & Tuosto, E. (2015). Validation of decentralised smart contracts through game theory and formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9465, pp. 142–161). Springer Verlag. https://doi.org/10.1007/978-3-319-25527-9_11
Mendeley helps you to discover research relevant for your work.