• 올바름,correctness . . . . 9 matches
        [[formal_verification]] =,formal_verification =,formal_verification . formal_verification Srch:formal_verification
        https://en.wiktionary.org/wiki/formal_verification x [[Date(2023-11-14T23:56:52)]]
        https://simple.wikipedia.org/wiki/Formal_verification
        [[WpEn:Formal_verification]] = https://en.wikipedia.org/wiki/Formal_verification
• 프로그램,program . . . . 4 matches
       [[program_verification]] = formal_verification
       // WtEn:formal_verification ?
       WpEn:Program_verification redir to [[WpEn:Formal_verification]] = https://en.wikipedia.org/wiki/Formal_verification
• 검증,verification . . . . 1 match
       [[formal_verification]]
• 형식,form . . . . 1 match
        [[formal_verification]] { 이건 '정형검증'이라는 번역이 많음. (formal을 '형식'보단 '정형'이라 번역.) verfication은 입증/검증/인증/(산술의 경우)검산/ ... Ndict:verfication }

You can also click here to search title.