Login / Signup
VerX: Safety Verification of Smart Contracts.
Anton Permenev
Dimitar K. Dimitrov
Petar Tsankov
Dana Drachsler-Cohen
Martin T. Vechev
Published in:
IEEE Symposium on Security and Privacy (2020)
Keyphrases
</>
safety analysis
face verification
supply chain
model checking
neural network
formal verification
smart grid
databases
multiscale
smart spaces
high security