Verifying OpenJDK's LinkedList using KeY

Hans-Dieter A. Hiep*, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


Dive into the research topics of 'Verifying OpenJDK's LinkedList using KeY'. Together they form a unique fingerprint.

Engineering & Materials Science