λ³Έ μ°κ΅¬λ μΆλ‘ λͺ¨λΈμ μκΈ° κ°μ μ μν΄ νμ΅ λ° ν
μ€νΈ μμ μμ μλνλ μλ‘μ΄ λ°©λ²λ‘ μΈ 'μκ° νλ ¨ κ²μ¦(Self-Trained Verification, STV)'μ μ μνλ€. STVλ λͺ¨λΈμ΄ μ€μ€λ‘ μμ±ν μ€λ₯λ₯Ό μ°Έμ‘° μ루μ
κ³Ό λΉκ΅νμ¬ νμ΅ν¨μΌλ‘μ¨ κ²μ¦μμ μ νλλ₯Ό ν₯μμν€κ³ , μ΄λ₯Ό ν΅ν΄ ν
μ€νΈ μμ μ V-R(Verification-Refinement) 루ν μ±λ₯κ³Ό νμ΅ μμ μ μκΈ° νλ ¨ ν¨μ¨μ±μ λͺ¨λ κ°μ νλ€. μ μλ λ°©λ²μ νΉν μ΄λ €μ΄ μν λ° κ³Όνμ μΆλ‘ λ¬Έμ μμ μλΉν μ±λ₯ ν₯μμ λ¬μ±νλ€.