Essays about: "Program verification"

Showing result 1 - 5 of 90 essays containing the words Program verification.

  1. 1. Plant Model Generator from Digital Twin for Purpose of Formal Verification

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

    Author : Johannes Håkansson; [2021]
    Keywords : Digital twin; Plant verification; Model checking; Functional properties;

    Abstract : This master thesis will cover a way to automatically generate a formal model for plant verification from plant traces. The solution will be developed from trace data, stemming from a model of a digital twin of a physical plant. READ MORE

  2. 2. Applying machine learning to detect structural faults in microscopic images of inserts

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Emil Fröjd; [2020]
    Keywords : bildanalys; maskininlärning; cnn;

    Abstract : Today the quality control of inserts at Sandvik is done manually by looking at their crosssections through a microscope. The purpose of this project was to automate the quality control of inserts by exploring machine Learning technique to automatically detect structural faults in microscopic images of the insert. READ MORE

  3. 3. Quality assurance of a radiotherapy registry

    University essay from Umeå universitet/Institutionen för fysik

    Author : Linnea Sandberg; [2020]
    Keywords : Radiotherapy; Treatment Planning System; Quality Assurance; Information Network for Cancer Care; INCA;

    Abstract : The radiotherapy clinics in Sweden have been without a functioning national platform consisting of dose data from patients undergoing radiotherapy. A national collaboration between clinics will improve the quality of radiotherapy since clinics will be able to compare dose data from treatment plans between clinics. READ MORE

  4. 4. Relational Symbolic Execution in WebAssembly

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

    Author : Johan Sjölén; [2020]
    Keywords : ;

    Abstract : WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. READ MORE

  5. 5. Formal security analysis of authentication in an asynchronous communication model

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

    Author : Jacob Wahlgren; Sam Yousefzadegan Hedin; [2020]
    Keywords : formal verification; Tamarin Prover; formal analysis; information security; authentication; formell verifiering; Tamarin Prover; formell analys; informationssäkerhet; autentisering;

    Abstract : Formal analysis of security protocols is becoming increasingly relevant. In formal analysis, a model is created of a protocol or system, and propositions about the security of the model are written. A program is then used to verify that the propositions hold, or find examples of where they do not. READ MORE