Sökning: "Formal Verification"

Visar resultat 1 - 5 av 43 uppsatser innehållade orden Formal Verification.

  1. 1. A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Mushfiqur Rahman; [2017-07-12]
    Nyckelord :privacy policy; verification; privacy by design; data flow diagrams; privacy-aware data flow diagrams; Petri nets;

    Sammanfattning : Privacy of personal data in information systems is gaining importance rapidly. Although data flow diagrams (DFDs) are commonly used for designing information systems, they do not have appropriate elements to address privacy of personal data. Privacy-aware data flow diagrams (PA-DFDs) were introduced recently to tackle this issue. LÄS MER

  2. 2. A Language-Recognition Approach to Unit Testing Message-Passing Systems

    Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Ifeanyi Ubah; [2017]
    Nyckelord :Unit testing; Message-passing; Verification;

    Sammanfattning : This thesis addresses the problem of unit testing components in message-passing systems. A message-passing system is one that comprises components communicating with each other solely via the exchange of messages. LÄS MER

  3. 3. Runtime Verification of A PLC System: An Industrial Case Study

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

    Författare :Mohammad Heidari; [2017]
    Nyckelord :PLC; Runtime verification; Formal specification; Embedded system;

    Sammanfattning : The term verification can mean different things to different people based on their background and the context of research. Comparably the term runtime might bring about similar disarray with lesser confusion. LÄS MER

  4. 4. Formal Verification of Hardware Peripheral with Security Property

    Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC); KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Jonathan Yao Håkansson; Niklas Rosencrantz; [2017]
    Nyckelord :Formal Verification NuSMV JavaPathFinder Spin Promela CTL LTL DMA UART Model Checking Theorem Proving;

    Sammanfattning : One problem with computers is that the operating system automatically trusts any externallyconnected peripheral. This can result in abuse when a peripheral technically can violate the security model because the peripheral is trusted. Because of that the security is an important issue to look at. LÄS MER

  5. 5. Static Code Analysis: A Systematic Literature Review and an Industrial Survey

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik; Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Bilal Ilyas; Islam Elkhalifa; [2016]
    Nyckelord :Static code analysis; systematic literature review; empirical evaluation; industrial survey;

    Sammanfattning : Context: Static code analysis is a software verification technique that refers to the process of examining code without executing it in order to capture defects in the code early, avoiding later costly fixations. The lack of realistic empirical evaluations in software engineering has been identified as a major issue limiting the ability of research to impact industry and in turn preventing feedback from industry that can improve, guide and orient research. LÄS MER


Få ett mail när det kommer in nya uppsatser på ämnet Formal Verification.

Din email-adress: