Sökning: "Sara Quarfot Orrevall"
Hittade 1 uppsats innehållade orden Sara Quarfot Orrevall.
1. Implementation and Verification of Sorting Algorithms with the Interactive Theorem Prover HOL
Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : 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
Resultatsidor:
1