ツイート
講師：今井 敬吾担当：ProofCafeレベル：入門編対象者：定理証明支援系ツールを利用するための基礎知識や操作法の情報収集を目的としている人前提知識：定理証明支援系ツール(Coq, Verifast, Frama-C)、プログラムの証明に理解のある方ソフトウェアの信頼性を高める定理証明支援系ツールを利用するための基礎知識と操作方法を紹介し、C言語検証器としても知られる Verifast などを用いた応用事例を紹介します。【カテゴリ】教育/プログラミング言語/定理証明支援系
