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.
Det arbete som presenteras i REF kombinerar spelteori och probabilistisk modellkontroll för att validera ett decentraliserat smart kontraktsprotokoll.
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']}