Sökning: "verifiering"
Visar resultat 1 - 5 av 30 avhandlingar innehållade ordet verifiering.
1. Formal Verification of Peripheral Memory Isolation
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
2. Proving Safety and Security of Binary Programs
Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER
3. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software
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
4. Field Measurements for Verification of the Impact of Renovation and Maintenance Measures on Buildings : - regarding Energy Efficiency, Indoor Environment and Moisture Safety
Sammanfattning : Renovating the European building stock has for almost two decades been a matter of importance to the European Union. Reduction of energy use for existing buildings can be achieved through applying energy efficiency renovation measures. LÄS MER
5. A Formal Approach to Embedded High-Integrity Real-Time Systems
Sammanfattning : Den här avhandlingen handlar inte om obskyra teoretiska datavetenskapliga hemligheter, den handlar om hur datorsystem kan göras säkrare. Ur ett annat perspektiv kan den sägas försöka sig på att göra svåra metoder, som formella sådana, lättare att använda så att fler programmerare och systemdesigners kan dra nytta av dem. LÄS MER