Sökning: "Formal proof"

Visar resultat 1 - 5 av 69 avhandlingar innehållade orden Formal proof.

  1. 1. Concept Formation in Mathematics

    Författare :Jörgen Sjögren; Högskolan i Skövde; []
    Nyckelord :HUMANIORA; HUMANITIES; Explication; Power of arithmetical theories; Formal proof; Informal proof; Indispensability; Mathematical realism; Naturvetenskap; Natural sciences; Explication; Power of arithmetical theories; Formal Proof; Informal proof; Indispensability; Mathematical Realism;

    Sammanfattning : This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical theories is constructed, where “power” is understood as capability to prove theorems. LÄS MER

  3. 2. Safety Proofs for Automated Driving using Formal Methods

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  4. 3. Formal Verification of Peripheral Memory Isolation

    Författare :Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

    Sammanfattning : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. LÄS MER

  5. 4. Privacy Policies for Social Networks - A Formal Approach

    Författare :Raul Pardo Jimenez; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; privacy; formal methods; online social networks; epistemic logic;

    Sammanfattning : Online Social Networks (OSNs) are ubiquitous, with more than 70% of Internet users being part of them. The pervasive nature of OSNs brings many threats and challenges, privacy being one of them. Very often the available privacy protection mechanisms in OSNs do not meet users requirements. LÄS MER

  7. 5. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER