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

6 points | by matt_d 10 hours ago