終了 2025/06/29（日） 13:00〜
LTL モデル検査器を作って学ぶマルチスレッドプログラミング
hatsugai
オンライン
1/10人
終了 2025/06/21（土） 12:00〜
プログラムの正しさを数学的に証明する形式検証への招待
5/10人
終了 2025/06/15（日） 12:00〜
余帰納法 (coinduction) による振る舞い (behavior) の検証
3/10人
終了 2025/06/14（土） 13:00〜
Isabelle チュートリアル 第5回 Isar による読める証明の書きかた
2/10人
終了 2025/06/08（日） 13:00〜
Isabelle チュートリアル 第4回 集合の帰納的定義
終了 2025/06/07（土） 12:00〜
Isabelle チュートリアル 第3回 集合・関数・関係
終了 2025/06/01（日） 13:00〜
Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法
終了 2025/05/31（土） 13:00〜
Isabelle チュートリアル 第1回 論理
終了 2025/05/25（日） 12:00〜
9/10人
終了 2024/08/04（日） 13:00〜
プログラムの検証トレーニング
グループに紐付いているイベントページで資料が投稿されると、最近10件まで表示されます。
hatsugai
