Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk).

Published in: FMBC@CAV (2020)

Keyphrases

invited talk
formal methods
efficient implementation
implementation issues
database
databases
artificial intelligence
user interface
design process
information retrieval
computer science
expert systems
hardware implementation
formal analysis
current status
functional verification