This repository is an evidence-gathering exercise on Apache Iceberg (main @ 9fffeb63b16, released code tested = 1.12.0 from Maven Central). It combines formal methods (TLA+, Spin), a deterministic ...
Some results have been hidden because they may be inaccessible to you
