文献

J-GLOBAL ID：202202254307324869   整理番号：22A1053011

なぜ3-do:調和分散システム証明の方法【JST・京大機械翻訳】

Why3-do: The Way of Harmonious Distributed System Proofs

著者 (2件)： Lourenco Claudio Belo (Huawei Research Centre, Cambridge, United Kingdom) ,  Pinto Jorge Sousa (HASLab/INESC TEC & Universidade do Minho, Braga, Portugal)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13240  ページ： 114-142  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 契約を備えたプログラム化原子ハンドラーに基づいて,分散システムの特性についての推論誘導のための原理とモデルを研究した。Why3-doライブラリを提示し,著者らのモデルに基づく分散システムに関する推論のための最新のソフトウェア検証器の状態をレバーする。実存的および入れ子型量子化器(Dijsktraの自己安定化システムを含む)を含む不変量を含む多くの事例は,図書館が契約ベースのモジュール開発,抽象障壁,および自動証明をどのように促進するかを例証する。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機プログラミング ,  *証明 ,  量子化器 ,  モデル ,  不変量 ,  抽象 ,  プログラム検証 ,  推論 ,  ライブラリ【計算機】
準シソーラス用語： *分散システム , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： DO ,  調和 ,  分散システム ,  証明