コーヒー休憩

ちょっと休んでいきませんか。

Why3

プログラム検証プラットフォーム Why3 1.0.0 がリリース

プログラム検証プラットフォーム Why3 1.0.0 がリリースされたので、更新内容と軽く使ってみた所感を、ざっくり紹介します。

簡単な論理パズルを自動で解いてみる

今回やること 対象読者 お題 Why3 準備 インストール プログラム 完成したプログラム 検証 結果 まとめ 今回やること 簡単な論理パズルを、自動定理証明器 (SMTソルバー) を使って、自動で解いてみる。 自動証明の超入門的な感じ。 今回 Why3 という証明プラ…