Essays about: "Overs¨attning"

Found 2 essays containing the word Overs¨attning.

  1. 1. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  3. 2. Developing a System for Robust Planning using Linear Temporal Logic

    University essay from KTH/Reglerteknik

    Author : Nadine Drollinger; [2018]
    Keywords : ;

    Abstract : Human robot-collaborative search missions have gotten more and more attention in recent years.Especially in scenarios where the robot first scouts the scene before sending in human agents. Thissaves time and avoids unnecessary risks for the human agents. READ MORE