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

(muratbuffalo.blogspot.com)

6 points | by matt_d 10 hours ago ago

No comments yet.