On-Chain Smart Contract Verification over Tendermint.

Luca Olivieri Fausto Spoto Fabio Tagliaferro

Published in: Financial Cryptography Workshops (2021)

Keyphrases

model checking
supply chain
face verification
formal verification
concurrent systems
databases
real world
information retrieval
genetic algorithm
multi agent systems
context aware
smart environments
formal analysis
signature verification
verification method
functional verification