トップ «前の日記(2010-02-11) 最新 次の日記(2010-02-17)» 月表示 編集

日々の流転


2010-02-12 [長年日記]

λ. Formal Methods Forum

昨日の PLDIrで紹介されたので登録してみた。

tmiyaさんのCoqとWhyについての発表資料「Coq and Why : Formal Verification Tools」が面白い。

Whyは 計算機言語で定理証明 (Proof Party.JP) のときにちょっと使ってみた Jahob と同じようなツール。

Tags: coq