TLA+ spec finds bugs in Apache BookKeeper Posted by lemmster on Wednesday February 24, 2021 @12:17PM from the github.com dept. https://github.com/Vanlightly/bookkeeper-tlaplus#defects-found-or-confirmed-in-december-2020-bookkeeper-version-411 ( 1 comment | 2 points | on HN )