Deductive Verification of Smart Contracts with Dafny.
Franck CassezJoanne FullerHoracio Mijail Anton QuilesPublished in: CoRR (2022)
Keyphrases
- model checking
- formal verification
- supply chain
- high security
- smart environments
- abductive inference
- signature verification
- object oriented
- face verification
- smart grid
- database systems
- asynchronous circuits
- databases
- face detection
- power system
- data sets
- bayesian networks
- person identification
- real world
- deductive reasoning