Smart Contracts: Application Scenarios for Deductive Program Verification.

Bernhard Beckert Jonas Schiffl Mattias Ulbrich

Published in: FM Workshops (1) (2019)

Keyphrases

application scenarios
application domains
supply chain
object oriented
explanation based learning
data mining approaches
abductive inference
smart environments
smart grid
moral hazard
real life