Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers.
Nadim KobeissiNatalia KulatovaPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- highly modular
- natural language
- modular architecture
- design process
- efficient implementation
- specification language
- highly expressive
- model based reasoning
- platform independent
- architectural design
- circuit design
- formal methods
- case study
- knowledge base
- formal representation
- meta level
- knowledge based systems
- programming language
- visual languages