Quicksort revisited. Verifying alternative versions of quicksort

DOI10.1007/978-3-319-30734-3_27zbMath1475.68102OpenAlexW2578450509MaRDI QIDQ2026813

Benjamin Egelund-Muller, Mark Wheelhouse, Sinduran Sivarajan, Sophia Drossopoulou, Razvan Certezeanu, K. Rustan M. Leino

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_27

zbMATH Keywords

program transformationquicksortautomated verification

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Unnamed Item ⋮ Fifty years of Hoare's logic

Uses Software

• Dafny

This page was built for publication: Quicksort revisited. Verifying alternative versions of quicksort