実装モデル検証(全11講義)

「開発深知」から実装モデル検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 ソフトウェアプログラムの検証問題を扱う。ネットワークを介したメッセー ジ通信を通して動作する分 Continue Reading →

設計モデル検証(基礎)(全12講義)

「開発深知」から設計モデル検証(基礎)(全12講義)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、ソフトウェア開発における検証について解説している講義です。モ Continue Reading →

クラウド実践(クラウド入門)(全6講義)

「開発深知」からクラウド実践(クラウド入門)(全6講義)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、クラウドコンピューティング環境上での分散アプリケーション Continue Reading →

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

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

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

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

形式仕様記述、モデル検査-基礎理論講座 第1回

「開発深知」から形式仕様記述、モデル検査-基礎理論の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式仕様記述とモデル検査の準備段階の知識について解説します。 形式手法(F Continue Reading →

基礎理論講座(形式手法の基礎知識)(全15講義)

「開発深知」から基礎理論講座(形式手法の基礎知識)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式手法を知る上で必要となる基礎知識について学んでいく講義です。形式手法入 Continue Reading →

形式仕様記述(セキュリティ編)(全15講義)

「開発深知」から形式仕様記述(セキュリティ編)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、定理証明、モデル検査と段階的詳細化というシステム検証における三つの Continue Reading →