6 ms·
Ist this formally verified by any chance ? I feel like there's space where formal designs could be expressed in TLA+ such that its easier for the community to k
by thecleaner 2y ago
Ist this formally verified by any chance ? I feel like there's space where formal designs could be expressed in TLA+ such that its easier for the community to keep track of the design.
- halfa 2y agoThere is formal proof for some parts of garage layout system, see https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/doc/optimal_layout_report/optimal_layout.pdf https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/...