Exploració per altres contribucions "Rubio Gimeno, Alberto"
Ara es mostren els items 1-9 de 9
-
Automatic inductive equational reasoning
(Universitat Politècnica de Catalunya, 2018-06)
Projecte Final de Màster Oficial
Accés obertWe 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
(Universitat Politècnica de Catalunya, 2015-07-28)
Tesi
Accés obertThis 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
(Universitat Politècnica de Catalunya, 2013-06-21)
Treball Final de Grau
Accés restringit per acord de confidencialitat -
Engineering and developing a custom domain specific language
(Universitat Politècnica de Catalunya, 2016)
Treball Final de Grau
Accés restringit per acord de confidencialitat -
Entorn per a l'anàlisi de terminació de programes
(Universitat Politècnica de Catalunya, 2014-06-30)
Treball Final de Grau
Accés obert[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
(Universitat Politècnica de Catalunya, 2015-01-27)
Treball Final de Grau
Accés restringit per acord de confidencialitat -
Graphical Animation of Transition Systems Behaviour
(Universitat Politècnica de Catalunya, 2014-04-25)
Treball Final de Grau
Accés obert[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
(Universitat Politècnica de Catalunya, 2016-06-20)
Treball Final de Grau
Accés obertEn 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
(Universitat Politècnica de Catalunya, 2015-06-29)
Treball Final de Grau
Accés obertNo 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 ...