キーワード : 形式検証


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

モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法
垣内 洋介 北嶋 暁 浜口 清治 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 674-682
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ハードウェア
キーワード: 
形式検証モニタベース検証AMBAモニタ回路生成
 あらまし | 本文:PDF(313.7KB)