Sökning: "verification tool"

Visar resultat 1 - 5 av 244 uppsatser innehållade orden verification tool.

1. 1. Does it pay to be transparent? - An empirical study on the relationship between yield and transparency for EU corporate green bonds

   Master-uppsats, Göteborgs universitet/Graduate School

   Författare :Nestor Stenson; Unurjargal Chuluunjav; [2023-07-03]
   Nyckelord :corporate green bonds; yield; transparency; information asymmetry; CBI aligned; CBI certified; self-labeled;

   Sammanfattning : This thesis uses OLS methodology to investigate the relationship between yields and transparency on green bonds. Transparency is divided into three categories: Self-labeled green bonds following the voluntary GBP framework, CBI aligned green bonds following CBI taxonomy with external verification and CBI certified green bonds following the CBI framework with mandatory external verification by the independent body Climate Bonds Standards Board. LÄS MER

3. 2. Evaluating intrusion detection points in an end-to-end solution

   Magister-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

   Författare :Lilla Pankaczi; [2023]
   Nyckelord :RFID; Random UID; Mutual Authentication; Scyther;

   Sammanfattning : Evaluating all intrusion detection points in an end-to-end cyber-physical system can be challenging. This master thesis focuses on evaluating the security of the most exposed part of such systems, Radio Frequency Identification (RFID) communication. LÄS MER

4. 3. Adding Basic Support for Function Pointers in TriCera

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Axel Bergström; [2023]
   Nyckelord :;

   Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

5. 4. Model Based Testing for Programmable Data Planes

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Gustav Rixon; [2023]
   Nyckelord :Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

   Sammanfattning : The advent of Software Defined Networking (SDN) and programmable data planes has revolutionized the networking domain, enabling the programming of networking functions down to the silicon level responsible for data packet switching. Unfortunately, while this programmability offers greater flexibility and control, it also increases the likelihood of introducing software bugs. LÄS MER

7. 5. Thermal and flow field validation of lattice Boltzmann method solver

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

   Författare :André Skagius-Kallin; [2023]
   Nyckelord :Lattice Boltzmann method; heat transfer; flow field;

   Sammanfattning : Computational fluid dynamics, abbreviated CFD, is a valuable tool for several engineering applications. Applications such as heating, cooling or drying are some examples of areas where CFD is used. LÄS MER