A Variation of Quicksort for Model Checking with Promela and SPIN
C Luo, X Ma, Y Tian, Y Zhang… - … Conference on Computer …, 2017 - ieeexplore.ieee.org
Because of the speed and memory efficiency of sorting, quicksort is often the best choice in
software development. However, in model checking with SPIN, it is difficult to implement …
software development. However, in model checking with SPIN, it is difficult to implement …