Essays about: "Nils Fitinghoff"

Found 1 essay containing the words Nils Fitinghoff.

  1. 1. Extraction of Rust code from the Why3 verification platform

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Nils Fitinghoff; [2019]
    Keywords : Formal verification;

    Abstract : It is hard to ensure correctness as software grows more complex. There are many ways to tackle this problem. Improved documentation can prevent misunderstandings what an interface does. Well built abstractions can prevent some kinds of misuse. READ MORE