Ledger design language: designing and deploying formally verified public ledgers.

Nadim Kobeissi Natalia Kulatova

Published in: EuroS&P Workshops (2018)

Keyphrases

real time
programming language
database
case study
evolutionary algorithm
engineering design
language processing
design space
user interface design
highly modular