文献

J-GLOBAL ID：202202234102646528   整理番号：22A0894221

拡張抽象依存グラフ【JST・京大機械翻訳】

Extended abstract dependency graphs

著者 (3件)： Enevoldsen Soren (Department of Computer Science, Aalborg University, Aalborg East, Denmark) ,  Larsen Kim Guldstrand (Department of Computer Science, Aalborg University, Aalborg East, Denmark) ,  Srba Jiri (Department of Computer Science, Aalborg University, Aalborg East, Denmark)
資料名： International Journal on Software Tools for Technology Transfer  (International Journal on Software Tools for Technology Transfer)
巻： 24  号： 1  ページ： 49-65  発行年： 2022年 
JST資料番号： W1267A  ISSN： 1433-2779  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 1998年にLiuとSmolkaによって発明された依存性グラフは,頂点の値間の依存性を表すハイパーエッジを有するグラフである。多くのモデル検査問題は,最小固定点頂点割当ての計算に縮小できる。最近の研究は,固定点計算をスピードアップするか,例えば重み付き論理のより一般的な設定に形式を適用するために,Booleドメインからより一般的なドメインへの依存グラフにおける帰属を拡張することに成功した。これらすべての拡張は,固定点アルゴリズムおよび1目的実装の別々の正当性証明を必要とする。頂点割当てが最小要素を持つNoetherian部分次数の抽象代数構造上で定義される拡張抽象依存性グラフの概念を示唆し,ここでは単調および非単調関数の両方を可能にした。既存のアプローチが一般的フレームワークの具体的インスタンスであり,抽象アルゴリズムを実行するオープンソースC++ライブラリを提供することを示した。この一般的実装の性能は,文献中に提示された専用の特殊目的アルゴリズムと同等であり,時には性能が優れていることを実証した。Copyright The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *グラフ ,  構造 ,  端部 ,  頂点 ,  C++言語 ,  モデル検査
準シソーラス用語： バイシミュレーション ,  オープンソース , 【Automatic Indexing@JST】

著者キーワード (5件)： 依存性グラフ ,  固定点計算 ,  モデル検査 ,  バイシミュレーション検査 ,  重み付き遷移系

分類 (1件)： グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (3件)： 拡張 ,  抽象 ,  グラフ