Sökning: "program refinement"
Visar resultat 1 - 5 av 29 avhandlingar innehållade orden program refinement.
1. Abstract Algebra of Program Refinement
Sammanfattning : .... LÄS MER
2. Automatic Extraction of Program Models for Formal Software Verification
Sammanfattning : 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. 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. Sound Modular Extraction of Control Flow Graphs from Java Bytecode
Sammanfattning : Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. LÄS MER
5. A Structural Viewpoint of Magnetism in Fe and Co Based Superlattices
Sammanfattning : In order to understand the properties of thin film devices, knowledge of the material's structure is essential. The work presented here combines magnetic and structural characterization of the systems studied to gain a deeper physical understanding. LÄS MER