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

 (github.com)

3 points | by matt_d 10 hours ago

0 comments