【公開】プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第一部「PAT Model Checking System」（その１）

プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第一部「PAT Model Checking System」（その１）を公開いたしました。
Popular model checkers like SPIN, SMV and FDR are designed for specialized domains and are based on restrictive modeling languages.
In this tutorial, we introduce our latest effort on combining the　expressiveness of state, event, real-time and probability based languages with the power of model checking.
We present a process analysis toolkit (PAT , http://pat.comp.nus.edu.sg), which is a self-contained verification system for system specification, simulation and verification.

PAT supports a wide range of modeling languages including CSP# (short for communicating sequential programs).
The idea is to treat sequential terminating programs, which may indeed be C# programs, as internal events. The result is a highly expressive modeling language which covers many application domains.
Since PAT is released 3 years ago, it has attracted 1300+ registered users from 300 organisations world wide.
※注意：英語での講演となります（通訳なし）
※このビデオは、2011年10月24日(月)に行われました、トップエスイー教育センターのセミナーを撮影、編集したものです。ビデオは2分割しており、このビデオは1つ目です。
詳しくは下記をご覧ください。
http://www.topse.or.jp/docs/?q=node/30
　
追記（２０１２／２／６）
リンク先のURLを変更いたしました。詳しくは、下記をご覧下さい。
【URL変更のお知らせ】プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第一部

edubase Mobile

iPhone版
Android版

トップエスイーチャンネル

トップエスイーチャンネルではソフトウェア工学に関する最先端の授業を公開しています。
ぜひ、ご覧下さい。

Post Footer automatically generated by Add Post Footer Plugin for wordpress.