Reasoning About Smart Contracts Encoded in LTL.

Valeria Fionda Gianluigi Greco Marco Antonio Mastratisi

Published in: AI*IA (2021)

Keyphrases

model checking
temporal logic
deterministic automata
formal theory
linear temporal logic
supply chain
qualitative reasoning
run length
bounded model checking
spatial reasoning
enabling technologies
ubiquitous environments
real time
smart environments
modal operators