Amanote Research
Register
Sign In
Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers
doi 10.1109/eurospw.2018.8429049
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 2018
Authors
Nadim Kobeissi
Natalia Kulatova
Publisher
IEEE
Related search
A Formally Verified NAT Stack
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Formally Verified Cryptographic Web Applications in WebAssembly
On Construction of a Library of Formally Verified Low-Level Arithmetic Functions
Introduction to Designing and Deploying Advanced Knowledge Systems Minitrack
A Mechanically Verified Language Implementation
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
BigraphTalk: Verified Design of IoT Applications
IEEE Internet of Things Journal
Information Systems
Signal Processing
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Deploying Public Surface Transit to Forward Messages in DTN
Ledger
