Essays about: "Kontraktgenerering"
Found 2 essays containing the word Kontraktgenerering.
-
1. Improving the Synthesis of Annotations for Partially Automated Deductive Verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE
-
2. Automated inference of ACSL function contracts using TriCera
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. READ MORE