Specula: A framework for finding deep bugs in system code using TLA+

(github.com) by matt_d | Mar 25, 2026 | 0 comments on HN