Deductive verification of smart contracts with Dafny.

Franck Cassez Joanne Fuller Horacio Mijail Anton Quiles

Published in: Int. J. Softw. Tools Technol. Transf. (2024)

Keyphrases

search engine
model checking
supply chain
abductive inference
explanation based learning
database
neural network
functional programs
formal verification
false acceptance
concurrent systems
test generation
smart grid
formal methods
temporal logic
case study
machine learning
real time