Essays about: "Model Checking"

Showing result 6 - 10 of 140 essays containing the words Model Checking.

  1. 6. Practical Analysis of the Giskard Consensus Protoco

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Leon Sandner; [2023]
    Keywords : Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Abstract : 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. READ MORE

  3. 7. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

  4. 8. Automated Foreign Object Detection on Conveyor Belts

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Kim Sundelius; [2023]
    Keywords : Machine Learning; Deep Learning; Object Detection; Anomaly Detection;

    Abstract : Ore is transported using belt conveyor systems. The transported ore has various anomalous objects that must be removed to prevent damage to the system. Currently anomalies are detected manually using humans. This leads to increased costs of wages and damage to the system overmissed anomalies. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Johan Moritz; [2023]
    Keywords : Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

    Abstract : 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. READ MORE

  6. 10. Parallel Query Systems : Demand-Driven Incremental Compilers

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Christofer Nolander; [2023]
    Keywords : Query Systems; Parallelism; Incremental Computation; Compiler Architecture; Dependency Tracking; Query system; Parallelism; inkrementella beräkningar; kompilatorer; beroende spårning;

    Abstract : Query systems were recently introduced as an architecture for constructing compilers, and have shown to enable fast and efficient incremental compilation, where results from previous builds is reused to accelerate future builds. With this architecture, a compiler is composed of several queries, each of which extracts a small piece of information about the source program. READ MORE