Skip to content

Distributed Assertion Management Framework

Home
Design
Design
- DAMF Formats
- Processes
Dispatch
Edge Systems
Edge Systems
- Abella DAMF
- λProlog
Example

DAMF Formats

This page is empty for now, but shall be updated later. In the meantime, details about DAMF Formats can be found in the papers:

Formal Reasoning Using Distributed Assertions (appeared in FroCoS 2023).
About Trust and Proof: An experimental framework for heterogeneous verification (to appear in the Cliff Jones’ Festschrift).

A concrete description of these formats can be found in the dispatch github repository.