OSC2018

ログイン

ユーザ名:

パスワード:


パスワード紛失
新規登録
2018-05-19 (土)   14時00分

ソフトウェアの信頼性を高める定理証明支援系の応用事例について

このエントリーをはてなブックマークに追加

講師:今井 敬吾
担当:ProofCafe
レベル:入門編
対象者:定理証明支援系ツールを利用するための基礎知識や操作法の情報収集を目的としている人
前提知識:定理証明支援系ツール(Coq, Verifast, Frama-C)、プログラムの証明に理解のある方

ソフトウェアの信頼性を高める定理証明支援系ツールを利用するための基礎知識と操作方法を紹介し、
C言語検証器としても知られる Verifast などを用いた応用事例を紹介します。

【カテゴリ】教育/プログラミング言語/定理証明支援系



www.ospn.jp