A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms

DOI10.1007/978-3-030-63461-2_14zbMath1517.68097MaRDI QIDQ6487931

Marieke Huisman, Mohsen Safari

Publication date: 21 March 2023

Mathematics Subject Classification ID

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

This page was built for publication: A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms