研究者情報 | 神奈川大学

ニシザワ　コウキ Nishizawa Koki 西澤　弘毅所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（情報システム創成領域）職種教授
言語種別	日本語
発行・発表の年月	2006/09
形態種別	その他
標題	Weighted Kripke Structures and Refinement of Models
執筆形態	共著
掲載誌名	日本ソフトウェア科学会23回大会予稿集（CD-ROM）
掲載区分	国内
著者・共著者	Yukiyoshi Kameyama, Yoshiki Kinoshita and Koki Nishizawa
概要	複数回のモデル検査の代わりに一回のモデル検査で済ませたい場合などに、多値モデル検査、すなわち式の真偽値および遷移の有無が２値ではなく多値であるモデル検査、は有効である。この論文では、式の真偽値と遷移の値の構造が完備ハイティング代数をなす多値モデルで直観主義様相μ計算の意味論を与える。また、その多値モデルの間に模倣関係の概念を定義し、これが模倣定理を満たすことを示す。