Login / Signup

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

Mohsen SafariMarieke 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