Specula: Scaling formal specifications for autonomous model checking of system code
Murat Demirbas explains what makes Specula’s end-to-end approach impressive, then examines open questions around composition and system-level guarantees.
Read article