▲ 3 pointsSpecula: A framework for finding deep bugs in system code using TLA+github.comby matt_d·4mo ago·0 comments·view on hn ↗