Search for dissertations about: "proving"
Showing result 16 - 20 of 207 swedish dissertations containing the word proving.
-
16. Computational Issues in Calculi of Partial Inductive Definitions
Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE
-
17. Secure System Virtualization : End-to-End Verification of Memory Isolation
Abstract : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. READ MORE
-
18. Proving the correctness of a virtual machine by a bisimulation
Abstract : .... READ MORE
-
19. No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code
Abstract : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. READ MORE
-
20. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving
Abstract : Today's hardware development industry faces enormous problems. The primary reason for this is that the complexity of state-of-the-art hardware devices is growing faster than the capacity of the tools that are used to check that they are correct. READ MORE