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

(arxiv.org) by matt_d | Jul 30, 2026 | 0 comments on HN