Hackernews
new
show
ask
jobs
Specula: A framework for finding deep bugs in system code using TLA+
3 points
posted 11 hours ago
by matt_d
(github.com)
No comments yet