2026-06-05T22:43:24Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00185304 2025-01-20T03:01:08Z 6164:6165:7019:9356

MathSATを用いたsafe Time Petri Netの非有界モデル検査手法 井川, 直 横川, 智教 佐藤, 洋一郎 有本, 和民 近藤, 真史 宮崎, 仁 形式手法－導入支援と技術教育－ 本論文では，TPN の時間制約を差分論理によって表現することで，充足可能性判定に基づく非有界モデル検査を高速化するための手法を提案する． conference paper 情報処理学会 2018-01-11 application/pdf ウィンターワークショップ2018・イン・宮島 論文集 2018 44 45 https://ipsj.ixsq.nii.ac.jp/record/185304/files/IPSJ-WWS2018022.pdf jpn