Coalition Logic for Specification and Verification of Smart Contract Upgrades.

Rustam Galimullin Thomas Ågotnes

Published in: PRIMA (2022)

Keyphrases

coalition logic
model checking
formal verification
formal specification
formal methods
asynchronous circuits
temporal logic
cl pc
protocol specification
pspace complete
logical framework
finite state
modal logic
high level
bayesian networks