Gradual Verification for Smart Contracts.

Haojia Sun Kunal Singh Jan-Paul Ramos-Dávila Jonathan Aldrich Jenna DiVincenzo

Published in: CoRR (2023)

Keyphrases

model checking
supply chain
face verification
formal verification
artificial intelligence
neural network
data mining
search engine
e learning
distributed systems
smart environments
formal analysis
smart grid
social welfare
signature verification
verification method