[
https://issues.apache.org/jira/browse/HDDS-16079?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Siyao Meng updated HDDS-16079:
------------------------------
Summary: Formal verification for bootstrap checkpoint install with TLA+
(was: Formal verification for snapshot install with TLA+)
> 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 snapshot (not filesystem/bucket
> snapshot) install with 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]
