Now showing items 1-1 of 1

    • Verification of temporal properties of infinite state systems 

      Luengo Agulló, Cristina (Universitat Politècnica de Catalunya, 2015-06-29)
      Bachelor thesis
      Open Access
      No es ningún secreto que tanto los sistemas software como hardware generalmente presentan errores. Los métodos de testeo y simulación pueden identificar muchos problemas importantes, pero para sistemas que tienen ...