2024/04/27(土) プログラムの正しさを数学的に証明する形式検証への招待
2024/04/28(日) 並行システムの設計検証入門セミナー
開催前 2024/04/27(土) 12:00〜
プログラムの正しさを数学的に証明する形式検証への招待
hatsugai
オンライン
1/10人
開催前 2024/04/28(日) 12:00〜
並行システムの設計検証入門セミナー
開催前 2024/05/03(金) 13:00〜
Isabelle チュートリアル 第1回 論理
0/10人
開催前 2024/05/04(土) 13:00〜
Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法
開催前 2024/05/05(日) 12:00〜
Isabelle チュートリアル 第3回 集合・関数・関係
開催前 2024/05/06(月) 13:00〜
Isabelle チュートリアル 第4回 集合の帰納的定義
開催前 2024/05/11(土) 13:00〜
Isar チュートリアル / 定理証明支援系 Isabelle
2/10人
開催前 2024/05/18(土) 13:00〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★
開催前 2024/05/25(土) 13:00〜
CTL モデル検査器を作って学ぶマルチスレッドプログラミング
開催前 2024/06/01(土) 13:00〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★
開催前 2024/06/08(土) 13:00〜
トレース比較器を作って学ぶマルチスレッドプログラミング
開催前 2024/06/15(土) 13:00〜
リファインメント検査器を作って学ぶマルチスレッドプログラミング
終了 2024/04/06(土) 13:00〜
振る舞い仕様の書きかたセミナー
7/15人
終了 2023/04/16(日) 13:00〜
3/10人
終了 2023/04/02(日) 13:00〜
4/10人
終了 2023/03/18(土) 16:00〜
強い数学的帰納法のひみつ
1人
終了 2021/07/03(土) 13:00〜
定理証明支援系 Coq チュートリアル
9/10人
終了 2021/06/27(日) 13:00〜
終了 2021/06/19(土) 12:00〜
終了 2021/06/15(火) 20:30〜
ヒープソート siftup の正当性証明
6/10人
終了 2021/06/13(日) 13:00〜
5/10人
終了 2021/06/02(水) 20:00〜
Coq ユーザのための Isabelle ガイド
5/6人
グループに紐付いているイベントページで資料が投稿されると、最近10件まで表示されます。