Reasoning about Smart Contracts via LTL Encoding.

Valeria Fionda Gianluigi Greco Marco Antonio Mastratisi

Published in: SEBD (2022)

Keyphrases

model checking
temporal logic
supply chain
bounded model checking
spatial reasoning
qualitative reasoning
deterministic automata
encoding scheme
qualitative simulation
formal theory
linear temporal logic
linear time temporal logic
neural network
wavelet transform
formal verification