Essays about: "Formal Verification"

Showing result 11 - 15 of 82 essays containing the words Formal Verification.

  1. 11. Using Safety Analysis Techniques To Derive Safety Properties For Formal Verification Of Safety-Critical Systems

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

    Author : Ermia Hassanpour; [2022]
    Keywords : ;

    Abstract : .... READ MORE

  3. 12. Investigating Machine Learning for verification of AMBA APB protocol.

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Abhiram Srisai Kishore; Mohammed Wasim; [2022]
    Keywords : Machine learning; SOC Verification; AMBA; Neural Networks; Deep Learning; Assertions.; Technology and Engineering;

    Abstract : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. READ MORE

  4. 13. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Mark Håkansson; [2022]
    Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

  5. 14. Contract-Based Verification in TriCera

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Pontus Ernstedt; [2022]
    Keywords : ;

    Abstract : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. READ MORE

  6. 15. Application of formal verification and validation on modern multi-functional signalling system

    University essay from KTH/Transportplanering

    Author : Shamsul Arefin; [2022]
    Keywords : ;

    Abstract : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. READ MORE