Search for dissertations about: "program refinement"

Showing result 1 - 5 of 29 swedish dissertations containing the words program refinement.

  2. 1. Abstract Algebra of Program Refinement

    Author : Kim Solin; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program refinement; the logic of action; abstract algebra; Datavetenskap; Computer Science;

    Abstract : .... 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. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

    Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

    Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. 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. A Structural Viewpoint of Magnetism in Fe and Co Based Superlattices

    Author : Matts Björck; Gabriella Andersson; Adrian Rennie; Thomas Hase; Uppsala universitet; []
    Keywords : Physics; Magnetism; Multilayer; Superlattice; X-ray magnetic circular dichroism; X-ray diffraction; X-ray reflectivity; Neutron diffraction; Structural refinement; Interfaces; Fysik;

    Abstract : In order to understand the properties of thin film devices, knowledge of the material's structure is essential. The work presented here combines magnetic and structural characterization of the systems studied to gain a deeper physical understanding. READ MORE