2024-03-29T03:21:20Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001853042023-11-14T00:51:14Z06164:06165:07019:09356
MathSATを用いたsafe Time Petri Netの非有界モデル検査手法jpn形式手法-導入支援と技術教育-http://id.nii.ac.jp/1001/00185216/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=185304&item_no=1&attribute_id=1&file_no=1Copyright (c) 2018 by the Information Processing Society of Japan岡山県立大学岡山県立大学岡山県立大学岡山県立大学川崎医療福祉大学川崎医療福祉大学井川, 直横川, 智教佐藤, 洋一郎有本, 和民近藤, 真史宮崎, 仁本論文では,TPN の時間制約を差分論理によって表現することで,充足可能性判定に基づく非有界モデル検査を高速化するための手法を提案する.ウィンターワークショップ2018・イン・宮島 論文集201844452018-01-112018-01-09