You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@ozone.apache.org by "Siyao Meng (Jira)" <ji...@apache.org> on 2026/10/10 22:01:00 UTC

[jira] [Updated] (HDDS-15928) Verify om-snapshot-chain (Apache Ozone master)

     [ https://issues.apache.org/jira/browse/HDDS-15928?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Siyao Meng updated HDDS-15928:
------------------------------
    Summary: Verify om-snapshot-chain (Apache Ozone master)  (was: Formal verification for Ozone snapshot chain with TLA+)

> Verify om-snapshot-chain (Apache Ozone master)
> ----------------------------------------------
>
>                 Key: HDDS-15928
>                 URL: https://issues.apache.org/jira/browse/HDDS-15928
>             Project: Apache Ozone
>          Issue Type: Sub-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: issues-unsubscribe@ozone.apache.org
For additional commands, e-mail: issues-help@ozone.apache.org