Abstrakt. Decentraliserade smarta kontrakt utgör nästa steg i utvecklingen av protokoll som stöder samverkan mellan oberoende aktörer utan att det finns en tvingande myndighet. Baserat på protokoll a la BitCoin för digitala valutor, tros smarta kontrakt vara en potentiellt möjliggörande teknik för en mängd framtida tillämpningar. Valideringen av en så tidig utvecklingsteknik är lika nödvändig som den är komplex. I detta dokument kombinerar vi spelteori och formella modeller för att ta itu med de nya utmaningar som valideringen av sådana system innebär.
Bigi och Al. Ref kombinerar spelteori och formella modeller för att ta itu med de nya utmaningar som valideringen av sådana system innebär.
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
{'venue': 'Programming Languages with Applications to Biology and Security', 'journal': None, 'mag_field_of_study': ['Engineering', 'Computer Science']}