๊ธ์ต์ ๋ฏธ๋๋ฅผ ํด๋ ํ๋ค: ๋์งํ์ด๋ฅ์ค, ์ฝ์ฝ๋ ์น์ผ ๋ฑ์ ํตํ ์ํธํํ ์ธ๊ณ ๋ค์ฌ๋ค๋ณด๊ธฐ
๋์งํ์ด๋ฅ์ค, ํฌ๋ฆฝํ ํ์ด, ์์ด์ง์ค, ์์ธ , ๋งคํฑ, ์ผ์ดํฌ, ๊ทธ๋ฆฌ๊ณ ํฅ๋ฏธ๋ก์ด ์ฝ์ฝ๋ ์น์ผ(Coq)์ ๋ํ ์ ๋ฌธ๊ฐ ๋ถ์์ ํตํด ์ํธํํ์ ์ญ๋์ ์ธ ์์ญ์ ๋ํด ์์ธํ ์์๋ณด์ธ์. ์ด ํฅ๋ฏธ๋ก์ด ๋์งํธ ํ๊ฒฝ์ ํ์ฑํ๋ ๋ฏธ๋ ํธ๋ ๋์ ํ์ ์ ๋ํด ์์๋ณด์ธ์.
