期日 2002年11月15日（金）
場所 川崎市産業振興会館（川崎市）
後日の資料
11月のsigfmは産総研の高橋孝一さんから「モデル検査による検証に関する研究および応用」をお話しいただくことになりました。
なお、今回のみ参加費は2000円になります。
講師 高橋孝一さん（産総研 尼崎サイト 主任研究員）
内容
モデル検査技法は自動的に検証可能であるため形式検証の
一つとして期待されています。しかし、モデルと検証事項の記述力
の限界や状態数爆発問題など、解決すべき問題が多く存在します。
抽象モデル検査はこれらの問題の一部を解決します。
この講演では抽象モデル検査に関する研究の話題を取り上げたいと
思います。また、実際のソフトウェアやシステムの検証や開発へモデル
検査が適用可能かどうかのフィージビリティスタディについても
話したいと思います。
和志の電話：044‐556‐4077
--------------------------------------------------
SEA 月例会 (Nov. 2002) 参加申込用紙
氏名(ふりがな)：
組織名：
部門・役職：
住所： (〒 − )
Tel:
E-Mail:
種別(該当欄にチェック):□ 社会人 2000円
□ 学生 500円
--------------------------------------------------
ｓｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ