Sökning: "Formal Verification"

Visar resultat 26 - 30 av 84 uppsatser innehållade orden Formal Verification.

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

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Pavle Mrvaljevic; [2020]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  3. 27. Relational Symbolic Execution in WebAssembly

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Johan Sjölén; [2020]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

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

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Sreeya Basu Roy; [2020]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

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

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Sammanfattning : 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. LÄS MER

  7. 30. Verification of Formal Requirements through Tracing

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jorrit Olthuis; [2020]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER