Essays about: "Carlos Ledezma"

Found 1 essay containing the words Carlos Ledezma.

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

    University essay from KTH/Programvaruteknik och Datorsystem, SCS

    Author : Carlos Ledezma; [2013]
    Keywords : ;

    Abstract : 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. READ MORE