2

Treating for-Loops as First-Class Citizens in Proofs
Nathan Wasser, Dominic Steinhöfel
PDF Cite
Technical Report: Using Loop Scopes with for-Loops
Nathan Wasser, Dominic Steinhöfel
PDF Cite
Verifying OpenJDK's Sort Method for Generic Collections
TimSort is the main sorting algorithm provided by the Java standard library and many other programming frameworks. Our original goal …
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
Cite DOI