シャッタ保存部分次数低減の矛盾のないラベリング問題の詳細な説明【JST・京大機械翻訳】

Neele Thomas; Valmari Antti; Willemse Tim A. C.

プレプリント

J-GLOBAL ID：202202212105387263 整理番号：21P0072703

シャッタ保存部分次数低減の矛盾のないラベリング問題の詳細な説明【JST・京大機械翻訳】

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2020年12月31日プレプリントサーバーでの情報更新日： 2021年07月20日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

モデル検査のための最も一般的な状態空間低減技術の1つは,部分次数低減(POR)である。多くの異なるPOR実装の中で,スタブンセットは非常に多目的な変異体であり,過去32年間にわたって多くの異なる応用が見られる。早期のスタブン集合の1つは,縮小のための基本的条件が,ストッタートレース等価性を保存するためにどのように拡張できるかを示し,線形-時間特性のモデル検査に適したスタブンセットを作る。本論文では,推論における欠陥を同定し,スタッタトレース等価性が必ずしも保存されないという反例を示した。より強力な低減条件を提案し,この問題が解決されるための広範な新しい正当性証明を提供した。さらに,著者らは,形式が発生する可能性を分析した。理論の正しい近似を計算するので,実際の実装への影響は限られている。【JST・京大機械翻訳】

, , , , ,
, , , 【Automatic Indexing@JST】

電力変換器 , ディジタルフィルタ , その他の回路理論 , 無線通信一般 , 半導体集積回路

, , , , , ,

前のページに戻る