Essays about: "Program verification"

Showing result 21 - 25 of 111 essays containing the words Program verification.

  1. 21. 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. 22. 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. 23. 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. 24. Formal security analysis of authentication in an asynchronous communication model

    University essay from 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

  6. 25. Improving Validation & Verification data management by deploying a life cycle management tool

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

    Author : Bastien Francomme; [2020]
    Keywords : ;

    Abstract : Managing data can be a challenge for large scale projects involving dozens of collaborators with different expertise. Data could be requirements, test procedures or product breakdown structures (PBS) for example. READ MORE