Now showing items 1-9 of 9

  • Automatic inductive equational reasoning 

    Mas Rovira, Jan (Universitat Politècnica de Catalunya, 2018-06)
    Master thesis
    Open Access
    We present Phileas, an automatic theorem prover focused on structural induction. Phileas is capable of automatically proving properties about inductively defined data types in Haskell anb reporting a proof in a human ...
  • Automatic program analysis using Max-SMT 

    Larraz Hurtado, Daniel (Universitat Politècnica de Catalunya, 2015-07-28)
    Doctoral thesis
    Open Access
    This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...
  • Developing an Smart EPG from several sources 

    Álvarez Pons, David (Universitat Politècnica de Catalunya, 2013-06-21)
    Bachelor thesis
    Restricted access - confidentiality agreement
  • Engineering and developing a custom domain specific language 

    López Agudo, Joel (Universitat Politècnica de Catalunya, 2016)
    Bachelor thesis
    Restricted access - confidentiality agreement
  • Entorn per a l'anàlisi de terminació de programes 

    Castells Diumenjó, Pau (Universitat Politècnica de Catalunya, 2014-06-30)
    Bachelor thesis
    Open Access
    [CATALÀ] Aquest projecte presenta una eina que comprova si els resultats d'anàlisi de terminació generats pel programa CppInv són correctes o no. També presenta una web que permet als usuaris realitzar anàlisis de terminació ...
  • Estimador de calidad en sistemas de reconocimiento facial 

    Espejo Caballero, Daniel (Universitat Politècnica de Catalunya, 2015-01-27)
    Bachelor thesis
    Restricted access - confidentiality agreement
  • Graphical Animation of Transition Systems Behaviour 

    Cortada Ballester, Albert (Universitat Politècnica de Catalunya, 2014-04-25)
    Bachelor thesis
    Open Access
    [CATALÀ] Aquest treball presenta una aplicació gràfica d'escriptori, que s'encarrega de dues tasques. Per una banda, permet representar sistemes de transicions en forma de graf. D'altra banda, permet simular una execució ...
  • Reconstrucción del front-end y back-end de un juez automático de teoría de la computación 

    Pascual Torres, Jaime (Universitat Politècnica de Catalunya, 2016-06-20)
    Bachelor thesis
    Open Access
    En este proyecto hemos reconstruido una aplicación usada por los profesores y alumnos de dos asignaturas, Teoría de la Computación y Compiladores, que se imparten en el Grado de Ingeniería Informática, en la Facultad de ...
  • 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 ...