Apple corecrypto의 정형 검증을 위한 청사진

A blueprint for formal verification of Apple corecrypto