Search for dissertations about: "Formal Verification"

Showing result 1 - 5 of 96 swedish dissertations containing the words Formal Verification.

  1. 1. Formal Specification and Verification of Safety-Critical Software

    Author : Daniel Larsson; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Abstract : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. READ MORE

  2. 2. Towards Formal Verification in a Component-based Reuse Methodology

    University dissertation from Institutionen för datavetenskap

    Author : Daniel Karlsson; Linköpings universitet.; Linköpings universitet.; [2003]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). READ MORE

  3. 3. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    University dissertation from Västerås : Mälardalen University

    Author : Predrag Filipovikj; Mälardalens högskola.; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE

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

    University dissertation from Stockholm : KTH Royal Institute of Technology

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

    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. 5. Formal Development of Safe and Secure Java Card Applets

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Wojciech Mostowski; [2005]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

    Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE