キーワード : 記号モデル検査


記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証
蓑田 玲緒奈 湊 真一 
誌名:   
発行日: 2018/03/01
Vol. J101-D  No. 3 ; pp. 470-480
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェアシステム
キーワード: 
ユビキタスコンピューティング触媒反応ネットワーク形式検証記号モデル検査スマートオブジェクト
 あらまし | 本文:PDF(1.1MB)

外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法
竹中 崇 岡野 浩三 東野 輝夫 谷口 健一 
誌名:   電子情報通信学会論文誌 D
発行日: 2004/04/01
Vol. J87-D1  No. 4 ; pp. 462-470
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
記号モデル検査CTLプレスブルガー文
 あらまし | 本文:PDF(342.3KB)

実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
山根 智 中村 一博 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/04/01
Vol. J86-D1  No. 4 ; pp. 232-247
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
記号モデル検査実時間システム2分決定グラフ近似手法時相論理
 あらまし | 本文:PDF(757.4KB)

記号モデル検証システムSMVにおける像計算
平石 裕実 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7 ; pp. 791-798
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
形式的設計検証記号モデル検査像計算非同期プロセスSMV
 あらまし | 本文:PDF(204.3KB)

タイムペトリネットのCTL記号モデル検査
大川 保吉 米田 友洋 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/06/25
Vol. J79-A  No. 6 ; pp. 1194-1203
論文種別:  論文
専門分野: VLSI設計技術とCAD
キーワード: 
タイムペトリネットCTL記号モデル検査region形式的検証
 あらまし | 本文:PDF(606.4KB)