Sökning: "Nils Löfberg"

Hittade 1 uppsats innehållade orden Nils Löfberg.

  1. 1. A Comparative Study on Deductive Verification for Rust and C

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Nils Löfberg; Aron Bergman; [2022]
    Nyckelord :;

    Sammanfattning : In programming, deductive verification is a technique to generate proof that a function obeys a set of manually specified regulations in the form of annotations. In addition to these annotations, the verifier also utilizes the constraints of the underlying programming language to prove that the function cannot cause the program to crash unexpectedly. LÄS MER