Sökning: "formal specification"

Visar resultat 1 - 5 av 58 uppsatser innehållade orden formal specification.

1. 1. Code Synthesis for Heterogeneous Platforms

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Zhouxiang Fu; [2023]
   Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

   Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

3. 2. De (själv)ständiga representanternas kommitté : En kvalitativ studie av byråkraternas handlingsutrymme i Coreper till följd av debatten kring EU:s demokratiska underskott

   Kandidat-uppsats, Uppsala universitet/Statsvetenskapliga institutionen

   Författare :Klara Källman; [2023]
   Nyckelord :EU; democratic deficit; discretion; control; bureacracy; COREPER; Swedish ministries; EU:s demokratiska underskott; handlingsutrymme; kontrollpunkt; byråkrater; Coreper; Svenska departement;

   Sammanfattning : One part of the criticism regarding a democratic deficit in the EU is towards a considered tecnocratic bureacracy - especially in the Committé of the Permanent Representatives (COREPER). However, if the argumentation stands on research that compare the EU with theoretical constructs, how valid can that criticsm be? By relating the formal discretion of the bureacrats in Coreper to the formal discretion of the bureacrats in Swedish ministries this study contributes to the discussion on an empirical level. LÄS MER

4. 3. Practical Analysis of the Giskard Consensus Protoco

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Leon Sandner; [2023]
   Nyckelord :Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

   Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER

5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Oskar Söderberg; [2023]
   Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

7. 5. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Johan Moritz; [2023]
   Nyckelord :Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

   Sammanfattning : As the threat of supply-chain attacks grows, the need for techniques to protect software integrity likewise increases. The concept of reproducible builds is one such protection. LÄS MER