[
https://issues.apache.org/jira/browse/HDDS-15928?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Siyao Meng resolved HDDS-15928.
-------------------------------
Resolution: Done
> Formal verification for Ozone snapshot chain with TLA+
> ------------------------------------------------------
>
> Key: HDDS-15928
> URL: https://issues.apache.org/jira/browse/HDDS-15928
> Project: Apache Ozone
> Issue Type: Task
> Reporter: Siyao Meng
> Assignee: Siyao Meng
> Priority: Major
> Attachments: ozone-snapshot-chain-verification-design.md,
> ozone-snapshot-chain-verification-plan.md
>
>
> Formal verification for Ozone snapshot chain
> https://github.com/smengcl/ozone-snapshot-chain-tla
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
