A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms
From MaRDI portal
Publication:6487931
DOI10.1007/978-3-030-63461-2_14zbMath1517.68097MaRDI QIDQ6487931
Marieke Huisman, Mohsen Safari
Publication date: 21 March 2023
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