Ended 2021/07/03（Sat） 13:00〜

定理証明支援系 Coq チュートリアル

hatsugai

オンライン

9/10

Ended 2021/06/27（Sun） 13:00〜

Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai

オンライン

2/10

Ended 2021/06/19（Sat） 12:00〜

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

hatsugai

オンライン

3/10

Ended 2021/06/15（Tue） 20:30〜

ヒープソート siftup の正当性証明

hatsugai

オンライン

6/10

Ended 2021/06/13（Sun） 13:00〜

Isabelle チュートリアル 第1回 論理

hatsugai

オンライン

5/10

Ended 2021/06/02（Wed） 20:00〜

Coq ユーザのための Isabelle ガイド

hatsugai

オンライン

5/6

Ended 2021/05/30（Sun） 14:00〜

プロセス代数 CSP 構文と操作的意味論

hatsugai

オンライン

3/10

Ended 2021/05/19（Wed） 19:30〜

等式論理と関数7個で作る証明検査器

hatsugai

オンライン

3/10

Ended 2021/05/12（Wed） 20:00〜

条件変数のモデル化と分析の例

hatsugai

オンライン

3/10

Ended 2021/05/11（Tue） 20:30〜

並行システムの設計と検証ツアー

hatsugai

オンライン

5/10