関連タグで絞り込む (0)
タグ
プログラム定理証明 - 有限会社ITプランニング(IT Planning Inc.)
7 users
プログラム定理証明 弊社での、プログラム定理証明を用いたソフトウェア品質保証の取り組みについて紹介します。 iZE Smart Desktopミドルウェアの正しさ検証 (ソフトウェア科学会PPL2010においてポスター発表、TPP10にて発表) (有)ITプランニングは(株)アイズ... 続きを読む
すべて表示
Coq を始めよう
62 users
このチュートリアルでは定理証明支援系言語である Coq について解説をします。プログラムの性質を Coq で証明できるようになることが目標です。 読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。また、本文... 続きを読む
