このエントリーをはてなブックマークに追加
プログラムの正しさを数学的に証明する形式検証への招待

Ended 2020/05/05(Tue) 12:00〜

プログラムの正しさを数学的に証明する形式検証への招待

定理証明支援ツール Isabelle を使って形式検証を体験するセミナーです。

hatsugai hatsugai

オンライン

Media List

スライド

スライドはありません。

動画

動画はありません。

ブログなど

ブログはありません。