Specula: 시스템 코드의 자율적 모델 체킹을 위한 형식 명세 확장

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