This repository has been archived by the owner on Jun 26, 2023. It is now read-only.

Write, prove and/or test properties #34

Closed

dnadales opened this issue Sep 25, 2019 · 1 comment

Collaborator

dnadales commented Sep 25, 2019

To have a high assurance implementation of the decentralized software-update mechanism.

Collaborator Author

dnadales commented Nov 4, 2019

Closed in favor of more specific ones:

dnadales closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.