Implementation and Verification of Sorting Algorithms with the Interactive Theorem Prover HOL
Sara Quarfot Orrevall · 2020
As the world becomes increasingly reliant on technology and the technology becomes increasingly complex, ensuring software correctness is becoming both increasingly important and difficult. Methods ...