Sökning: "Sara Quarfot Orrevall"

Hittade 1 uppsats innehållade orden Sara Quarfot Orrevall.

  1. 1. Implementation and Verification of Sorting Algorithms with the Interactive Theorem Prover HOL

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Sara Quarfot Orrevall; [2020]
    Nyckelord :;

    Sammanfattning : 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 like software testing are rarely enough to guarantee that a program will always work as intended. Formal methods offer attractive alternatives. LÄS MER