Essays about: "checker"

Showing result 1 - 5 of 50 essays containing the word checker.

  1. 1. Type Checker Generation using Reference Attribute Grammars

    University essay from Lunds universitet/Institutionen för datavetenskap

    Author : Nicholas Boyd Isacsson; [2024]
    Keywords : Technology and Engineering;

    Abstract : .... READ MORE

  3. 2. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Vibha Satyam; [2023-10-25]
    Keywords : Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

    Abstract : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. READ MORE

  4. 3. Identifying Threat Factors of Vulnerabilities in Ethereum Smart Contracts

    University essay from Högskolan i Halmstad/Akademin för informationsteknologi

    Author : Mah Noor; Syeda Hina Murad; [2023]
    Keywords : Smart contract; Blockchain; Ethereum; attacks; security vulnerabilities; security audits;

    Abstract : Ethereum is one of the top blockchain platforms that represents this second generation of blockchain technology. However, the security vulnerabilities associated with smart contracts pose significant risks to confidentiality, integrity, and availability of applications supported by Ethereum. READ MORE

  5. 4. 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

  6. 5. MLpylint: Automating the Identification of Machine Learning-Specific Code Smells

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Peter Hamfelt; [2023]
    Keywords : Code Smell; Machine Learning; Static Code Analysis; Software Quality; Technical Debt;

    Abstract : Background. Machine learning (ML) has rapidly grown in popularity, becoming a vital part of many industries. This swift expansion has brought about new challenges to technical debt, maintainability and the general software quality of ML systems. READ MORE