Essays about: "Formal Verification"

Showing result 1 - 5 of 56 essays containing the words Formal Verification.

  1. 1. Tool orchestration for modeling, verification and analysis of collaborating autonomous machines

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Pavle Mrvaljevic; [2020]
    Keywords : ;

    Abstract : System-of-systems (SoS) is a collective of multiple system units that have a common purpose. In this thesis, the Volvo Electric Site is investigated as an example case study in which safety and performance properties of collaborating autonomous machines are evaluated and analyzed. READ MORE

  2. 2. 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

  3. 3. Automated Annotation of Simulink Generated C Code Based on the Simulink Model

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

    Author : Sreeya Basu Roy; [2020]
    Keywords : ;

    Abstract : There has been a wave of transformation in the automotive industry in recent years, with most vehicular functions being controlled electron- ically instead of mechanically. This has led to an exponential increase in the complexity of software functions in vehicles, making it essential for manufactures to guarantee their correctness. READ MORE

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

  5. 5. Verification of Formal Requirements through Tracing

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

    Author : Jorrit Olthuis; [2020]
    Keywords : ;

    Abstract : Software development in the railway application is governed by strict standards which aim to ensure safety. It is for example highly recommended to use formal methods when specifying requirements. Moreover, it is mandatory to have certain roles be fulfilled by different people. A common technique is developing software tests for the requirements. READ MORE