Login / Signup
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.
Mohsen Safari
Marieke Huisman
Published in:
IFM (2020)
Keyphrases
</>
sorting algorithms
data structures and algorithms
model checking
graph cuts
machine learning
face verification
databases
data analysis
domain specific
parallel implementation
formal verification