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/08/08 20:54:00 UTC

[jira] [Resolved] (HDDS-16079) Formal verification for bootstrap checkpoint install with TLA+

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

Siyao Meng resolved HDDS-16079.
-------------------------------
    Resolution: Fixed

> Formal verification for bootstrap checkpoint install with TLA+
> --------------------------------------------------------------
>
>                 Key: HDDS-16079
>                 URL: https://issues.apache.org/jira/browse/HDDS-16079
>             Project: Apache Ozone
>          Issue Type: Sub-task
>            Reporter: Siyao Meng
>            Assignee: Siyao Meng
>            Priority: Major
>
> Tracks formal verification effort for bootstrap checkpoint install with TLA+
> https://github.com/smengcl/ozone-om-bootstrap-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