文献

J-GLOBAL ID：202002229562441540   整理番号：20A1034660

鍵を用いたOpenJDKのリンクリストの検証【JST・京大機械翻訳】

Verifying OpenJDK’s LinkedList using KeY

著者 (6件)： Hiep Hans-Dieter A. (CWI, Amsterdam, The Netherlands) ,  Maathuis Olaf (Achmea, Apeldoorn, The Netherlands) ,  Bian Jinting (CWI, Amsterdam, The Netherlands) ,  de Boer Frank S. (CWI, Amsterdam, The Netherlands) ,  van Eekelen Marko (Open University, Heerlen, The Netherlands) ,  de Gouw Stijn (Open University, Heerlen, The Netherlands)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12079  ページ： 217-234  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 最先端技術,実ソフトウェアの形式的検証の特別な事例研究として,Java収集フレームワークにより提供されるように,リンクリストの実装の修正版の仕様と検証を検討した。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ソフトウェア ,  事例研究 ,  ソフトウェア障害 ,  演繹 ,  *Java
準シソーラス用語： 形式的検証 ,  最先端技術 , 【Automatic Indexing@JST】

著者キーワード (6件)： Java標準ライブラリ ,  演えき的検証 ,  鍵 ,  Javaモデリング言語 ,  事例研究 ,  バグ

分類 (2件)： 計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (2件)： 鍵 ,  検証