Closed #481.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/481#event-4380398300
> Hi @SeanVer, thanks for your PR. After discuss with the community, I think
> these can be put in a separated repository. I have created a repo called
> "Teaclave Verification" which contains formal descriptions, specifications,
> and proofs for Teaclave. You can find the repo in this link:
>
Hi @SeanVer, thanks for your PR. After discuss with the community, I think
these can be put in a separated repository. I have created a repo called
"Teaclave Verification" which contains formal descriptions, specifications, and
proofs for Teaclave. You can find the repo in this link:
https://gi
## Description
formal description and verification for access control module
Fixes # (issue)
## Type of change (select or add applied and delete the others)
- New feature (non-breaking change which adds functionality)
## How has this been tested?
It is formal description for the access contro
