Ended 2021/07/03(Sat) 13:00〜
定理証明支援系 Coq チュートリアル
hatsugai
オンライン
9/10
Ended 2021/06/27(Sun) 13:00〜
Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法
2/10
Ended 2021/06/19(Sat) 12:00〜
プログラムの正しさを数学的に証明する形式検証への招待
3/10
Ended 2021/06/15(Tue) 20:30〜
ヒープソート siftup の正当性証明
6/10
Ended 2021/06/13(Sun) 13:00〜
Isabelle チュートリアル 第1回 論理
5/10
Ended 2021/06/02(Wed) 20:00〜
Coq ユーザのための Isabelle ガイド
5/6
Ended 2021/05/30(Sun) 14:00〜
プロセス代数 CSP 構文と操作的意味論
Ended 2021/05/19(Wed) 19:30〜
等式論理と関数7個で作る証明検査器
Ended 2021/05/12(Wed) 20:00〜
条件変数のモデル化と分析の例
Ended 2021/05/11(Tue) 20:30〜
並行システムの設計と検証ツアー
If you add media to group events the most recent 10 media items are shown.