Deductive Proof of Ethereum Smart Contracts Using Why3.

Zeinab Nehai François Bobot

Published in: CoRR (2019)

Keyphrases

proof planning
abductive inference
explanation based learning
supply chain
theorem proving
object oriented
theorem prover
neural network
deductive reasoning
machine learning
real world
data structure
ambient intelligence
computer vision
automated theorem proving
logical rules
database languages
hypothesis formation