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

Browse the full TACAS paper archive.