This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Jurriaan Rot
A grouping.
The OpenJDK sorting work, held complete: the proof pearl on correct and stable sorting, the 2015 paper showing the shipped routine broken when the proof would not close, and the verification of the repaired method in 2019. Those three records are the corpus's clearest demonstration that deductive verification finds defects in code that has already shipped.
3 references
Verifying OpenJDK's Sort Method for Generic Collections
Stijn de Gouw and others (2019) · Journal of Automated Reasoning · Springer
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw and others (2015) · Computer Aided Verification · Springer
Proof Pearl: The KeY to Correct and Stable Sorting
Stijn de Gouw and others (2014) · Journal of Automated Reasoning · Springer