抄録
B-005
モデル検査ツールNuSMVを用いたオントロジー検証
◎阿部雄貴・鈴木大輝（仙台高専）・和泉　諭（東北大）・高橋　薫（仙台高専）
ソフトウェアや組込みシステムの検証において有効なモデル検査の手法をオントロジー内容に矛盾があるかどうかの検証に応用する．具体的には，モデル検査ツールの一つであるNuSMVを用いたオントロジー検証法を提案する．