Processes in DAMF

This page is empty for now, but shall be updated later. In the meantime, details about Processes in DAMF, such as publishing, getting, trust, etc., 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).