Blockchain-based Result Verification for Computation Offloading.

Benjamin Körbel Marten Sigwart Philipp Frauenthaler Michael Sober Stefan Schulte

Published in: CoRR (2021)

Keyphrases

model checking
real time
high level
search algorithm
fingerprint verification
formal proof
decision making
database systems
formal verification
verification method
concurrent systems