IntersectMBO/formal-ledger-specifications

Knispel, Andre; Melkonian, Orestis; Chapman, James; Hill, Alasdair; Jääger, Joosep; DeMeo, William; Norell, Ulf

doi:10.4230/artifacts.22485

Artifact

IntersectMBO/formal-ledger-specifications Software

Authors Andre Knispel , Orestis Melkonian , James Chapman , Alasdair Hill, Joosep Jääger, William DeMeo , Ulf Norell

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22485
URN: urn:nbn:de:0030-drops-224854

Author Details

Andre Knispel

Input Output, Berlin, Germany

Orestis Melkonian

Input Output, Kirkwall, UK

James Chapman

Input Output, Glasgow, UK

Alasdair Hill

Input Output, Bristol, UK

Joosep Jääger

Input Output, Tartu, Estonia

William DeMeo

Input Output, Boulder, US

Ulf Norell

QuviQ, Göteborg, Sweden

Content

Software (Agda Code): https://github.com/IntersectMBO/formal-ledger-specifications
archived version

Version/Status

Content created at: 2022-07-06
Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William DeMeo, Ulf Norell. IntersectMBO/formal-ledger-specifications (Software, Agda Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22485

Description

Formal specifications of the cardano ledger

Subject Classification

Keywords

agda
cardano-node
formal-methods

Programming Languages

Agda
TeX
Haskell

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail