Functional Verification of Smart Contracts via Strong Data Integrity.

Wolfgang Ahrendt Richard Bubel

Published in: ISoLA (3) (2020)

Keyphrases

data integrity
functional verification
database design
distributed databases
data storage
database systems
database
client server
databases
formal verification
active databases
database administrators
hardware software
case study
query processing
database management