Verifying OpenJDK’s LinkedList using KeY (extended paper)

Hans-Dieter A. Hiep,Olaf Maathuis,Jinting Bian, Frank S. de Boer,Stijn de Gouw

Lecture Notes in Computer Science（2022）

引用 1|浏览44

暂无评分

摘要

As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection Framework.

查看译文

关键词

Deductive verification,KeY,Java Modeling Language,Case study,Standard library,Bug

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要