Search for dissertations about: "Static Verification"

Showing result 1 - 5 of 47 swedish dissertations containing the words Static Verification.

  2. 1. Unified Static and Runtime Verification of Object-Oriented Software

    Author : Mauricio Chimento; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Runtime Verification; Java; Static Verification; Formal Methods;

    Abstract : At the time of verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. READ MORE

  4. 2. Automatic Extraction of Program Models for Formal Software Verification

    Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

    Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE

  5. 3. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE

  6. 4. Sound Modular Extraction of Control Flow Graphs from Java Bytecode

    Author : Pedro de Carvalho Gomes; Dilian Gurov; Wolfgang Ahrendt; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Compositional Verification;

    Abstract : Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. READ MORE

  7. 5. Static Analysis and Deductive Verification of Programs

    Author : Tobias Gedell; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis is concerned with analysis of programs. Analysis of programs can be divided into two camps: static analysis and formal verification.Static program analyses compute a result and terminate for all programs. READ MORE