ツール概説-基礎理論講座 第15回

「開発深知」からツール概説-基礎理論 第15回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 はじめに形式手法について復習し、国内外における形式手法を使ったシステム事例を紹 Continue Reading →

モデル検査の実装その2-基礎理論講座 第14回

「開発深知」からモデル検査の実装その2-基礎理論 第14回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 今回は、明示的モデル検査手法の効率化、計算時間と状態数削減(On- Continue Reading →

モデル検査の実装-基礎理論講座 第13回

「開発深知」からモデル検査の実装-基礎理論 第13回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、モデル検査実装の課題(状態爆発の問題)、二分決定グラフを用い Continue Reading →

PLTLモデル検査-基礎理論講座 第12回

「開発深知」からPLTLモデル検査-基礎理論 第12回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 今回は、PLTLモデル検査の概要と、PLTLからBüchiオートマトン Continue Reading →

CTLモデル検査、時間CTLモデル検査-基礎理論講座 第11回

「開発深知」からCTLモデル検査、時間CTLモデル検査-基礎理論 第11回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 CTL(時間木論理)とTCTL(時間CTL)による Continue Reading →

Büchiオートマトン、時間オートマトン、並行システムのモデル化-基礎理論講座 第10回

「開発深知」からBüchiオートマトン、時間オートマトン、並行システムのモデル化-基礎理論 第10回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 オートマトンに関する練習 Continue Reading →

有限オートマトン、正規表現-基礎理論講座 第9回

「開発深知」から有限オートマトン、正規表現-基礎理論 第9回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 オートマトン、有限オートマトンとは何か、決定性と非決定性、受理言 Continue Reading →

性質の記述-基礎理論講座 第8回

「開発深知」から性質の記述-基礎理論 第8回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 論理式を記述する際の典型的なパターンとして、安全性(Safety)、活性(Liv Continue Reading →

時相論理-基礎理論講座 第7回

「開発深知」から時相論理-基礎理論 第7回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 時相論理(Temporal Logic)として、PLTL(Propositiona Continue Reading →

並行プログラム-基礎理論講座 第6回

「開発深知」から並行プログラム-基礎理論 第6回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 並行プログラムとは何かについて説明し、並行プログラムの課題として、非決定性、 Continue Reading →