Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Proving JDK's Dual Pivot Quicksort Correct

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, and Mattias Ulbrich
In:9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
Year:2017
Preprint/PDF:vstte2017.pdf

BibTeX

@InProceedings{BeckertSchifflEA2017,
  title      = {Proving {JDK's} Dual Pivot Quicksort Correct},
  author     = {Bernhard Beckert and Jonas Schiffl and Peter H. Schmitt
                  and Mattias Ulbrich},
  booktitle  = {9th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2017)},
  year       = 2017,
  month      = jul
}