Solvent: liquidity verification of smart contracts.

Massimo Bartoletti Angelo Ferrando Enrico Lipparini Vadim Malvone

Published in: CoRR (2024)

Keyphrases

supply chain
model checking
smart environments
verification method
formal verification
neural network
smart grid
formal analysis
formal methods
face verification
website
decision making
machine learning
petri net
long term
search engine
data mining
asynchronous circuits
database
concurrent systems