Specula: Scaling formal specs for autonomous model checking of system code

6 pointsposted 10 hours ago
by matt_d
(muratbuffalo.blogspot.com)

No comments yet