TLA+ spec finds bugs in Apache BookKeeper (github.com)

2 points by lemmster 5y ago ↗ HN

1 comment

[ 3.6 ms ] story [ 16.2 ms ] thread

lemmster 5y ago ↗

https://github.com/apache/bookkeeper/issues/2614