Korean 형식 검증 Cited by user Khlee560 on 13 Apr 2024 형식 검증(Formal verification)은 하드웨어 및 소프트웨어 시스템의 맥락에서 공식 수학 방법을 사용하여 특정 형식 사양 또는 속성과 관련하여 시스템의 정확성을 증명하거나 반증하는 행위이다.
English Cooperating Validity Checker Cited by user Citation bot on 15 Feb 2024 In computer science and mathematical logic, Cooperating Validity Checker (CVC) is a family of satisfiability modulo theories (SMT) solvers.
German Paritätsautomat Cited by user D3rT!m on 31 Dec 2022 Der Paritätsautomat, auch Parity-Automat, ist in der Automatentheorie ein Automat, der auf unendlichen Wörtern arbeitet.