2010-02-12 [長年日記]
λ. Formal Methods Forum
昨日の PLDIrで紹介されたので登録してみた。
tmiyaさんのCoqとWhyについての発表資料「Coq and Why : Formal Verification Tools」が面白い。
Whyは 計算機言語で定理証明 (Proof Party.JP) のときにちょっと使ってみた Jahob と同じようなツール。
昨日の PLDIrで紹介されたので登録してみた。
tmiyaさんのCoqとWhyについての発表資料「Coq and Why : Formal Verification Tools」が面白い。
Whyは 計算機言語で定理証明 (Proof Party.JP) のときにちょっと使ってみた Jahob と同じようなツール。