Verifying OpenJDK’s Sort Method for Generic Collections

por de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic
Publicado 2017

Verifying OpenJDK’s LinkedList using KeY

por Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., van Eekelen, Marko, de Gouw, Stijn
Publicado 2020