• Combining two formal methods of the static analyses 

      Honorat Poblette, Jorge Luis (Universitat Politècnica de Catalunya, 2012-06-19)
      Projecte Final de Màster Oficial
      Accés obert
      [ANGLÈS] Given the background in software and hardware evolution over the years as well as the demand of accurate information in different industrial areas as aeronautics, nuclear and medical is how this Master thesis born. ...