Sökning: "Carlos Ledezma"

Hittade 1 uppsats innehållade orden Carlos Ledezma.

  1. 1. Static analysis of multi-threaded applications by abstract interpretation

    Master-uppsats, KTH/Programvaruteknik och Datorsystem, SCS

    Författare :Carlos Ledezma; [2013]
    Nyckelord :;

    Sammanfattning : There exist currently in production an immense number of applications that are considered safety critical, meaning that the execution of them is directly related to issues concerning the well being of people. A domain where these applications are particularly present is in the aeronautics industry. LÄS MER