Sökning: "Magnus Myreen"

Hittade 1 avhandling innehållade orden Magnus Myreen.

1. 1. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER