3 ms·Specula: Scaling formal specs for autonomous model checking of system code6 points by matt_d 2mo ago