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

Published in: FSCD (2018)

Keyphrases

invited talk
implementation issues
formal methods
design process
efficient implementation
case study
design methodology
expert systems
information technology
functional verification
database
user interface
learning experience
expressive power
circuit design
formal language