2024-03-29T08:24:10Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000709932017-11-15T07:43:18Z06201:06202:09108:06203
時間システムの到達可能性解析の並列手法と評価実験jpn並列分散処理http://id.nii.ac.jp/1001/00070993/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=70993&item_no=1&attribute_id=1&file_no=1Copyright (c) 2010 by the Information Processing Society of Japan大阪大学大阪大学大阪大学大阪大学田中俊彰長岡武志岡野浩三楠本真二時間オートマトンのCEGARを用いた到達可能性解析を行う手法について評価実験を行った。著者らの提案手法を基に、モデル検査処理の並列化を行うことで実行時間短縮を行った。その評価実験結果を報告する。平成22年度情報処理学会関西支部支部大会講演論文集20102010-09-222010-11-02