Deductive Verification of Smart Contracts with Dafny.

Franck Cassez Joanne Fuller Horacio Mijail Anton Quiles

Published in: FMICS (2022)

Keyphrases

model checking
face verification
neural network
supply chain
smart environments
formal verification
abductive inference
learning algorithm
logic programs
explanation based learning
signature verification
test generation
fingerprint verification
asynchronous circuits
high security
functional programs