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

Published in: CoRR (2019)

Keyphrases

image processing
case study
image analysis
data sets
neural network
metadata
management system
information extraction
model checking