プレプリント
J-GLOBAL ID：202202214309740127   整理番号：22P0282019

再帰的プログラムのための非同期超特性の決定【JST・京大機械翻訳】

Deciding Asynchronous Hyperproperties for Recursive Programs
  • 出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
この文献はプレプリントです。プレプリントについてはこちらをご確認ください。
著者 (3件)：
Gutsfeld Jens Oliver

Gutsfeld Jens Oliver について

, 
Mueller-Olm Markus

Mueller-Olm Markus について

, 
Ohrem Christoph

Ohrem Christoph について


資料名：
arXiv

arXiv について


発行年： 2022年01月30日  プレプリントサーバーでの情報更新日： 2023年10月25日
JST資料番号： O7000B  資料種別： プレプリント
記事区分： プレプリント  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
トレース上の関連位置を同定するための新しいメカニズムを有する非同期超特性のための新しい論理を導入した。新しい論理はBozzelliらによって最近提示された関連論理より表現的であるが,有限状態モデルに対するモデル検査問題の同じ複雑性を得た。これを超えると,プッシュダウンモデルに対する論理のモデル検査問題を研究した。本論文では,非同期性と非正規モデルクラスの組合せが,再帰的プログラムに対する超特性モデル検査に対する最初の適切なアプローチを構成することを論じた。【JST・京大機械翻訳】
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*トレース【計算機】

トレース【計算機】 について

, 
モデル検査

モデル検査 について


分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 
(JD02010R)

計算機システム開発 について

,  計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
非同期

非同期 について


前のページに戻る

TOP

BOTTOM