Exploració per tema "Computer software -- Verification"

Ara es mostren els items 1-10 de 10

    • Combining structural and symbolic methods for the verification of concurrent systems 

      Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1998)
      Text en actes de congrés
      Accés obert
      The contributions during the last few years on the structural theory of Petri nets can now be applied to formal verification. The structural theory provides methods to find efficient encoding schemes for symbolic representations ...

    • Implementación de un agente para la validación de dominios privados basado en el protocolo ACME 

      Terraga Gómez, Víctor (Universitat Politècnica de Catalunya, 2019-02)
      Treball Final de Grau
      Accés restringit per acord de confidencialitat
      Realitzat a/amb:   Safelayer Secure Communications
      Este documento describe el protocolo ACME que una CA y un solicitante pueden usar para automatizar el proceso de verificación y emisión de certificados. El protocolo también proporciona facilidades para otras funciones de ...

    • Learning the relation between code features and code transforms with structured prediction 

      Yu, Zhongxing; Martínez Martínez, Matías-Sebastián; Chen, Zimin; Bissyandé, Tegawendé F.; Monperrus, Martin (2023-07)
      Article
      Accés obert
      To effectively guide the exploration of the code transform space for automated code evolution techniques, we present in this paper the first approach for structurally predicting code transforms at the level of AST nodes ...

    • Lightweight and static verification of UML executable models 

      Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
      Article
      Accés obert
      Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote ...

    • Termination competition (termCOMP 2015) 

      Giesl, Jürgen; Mesnard, Frédéric; Rubio Gimeno, Alberto; Thiemann, René; Waldmann, Johannes (Springer, 2015)
      Text en actes de congrés
      Accés obert
      The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. ...

    • Verificació de sistemes concurrents basada en Constraint-Programming 

      Royuela Alcazar, Josep Maria (Universitat Politècnica de Catalunya, 2010-07-12)
      Projecte/Treball Final de Carrera
      Accés obert
      L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.

    • Verificación de diagramas de clases UML mediante Constraint Programming 

      Fuente Arcas, Patricia de la (Universitat Politècnica de Catalunya, 2007-07-06)
      Projecte/Treball Final de Carrera
      Accés obert

    • Verification of concurrent systems with parametric delays using octahedra 

      Clarisó Viladrosa, Robert; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      Text en actes de congrés
      Accés obert
      A technique for the verification of concurrent parametric timed systems is presented. In the systems under study, each action has a bounded delay where the bounds are either constants or parameters. Given a safety property, ...

    • Verifying action semantics specifications in UML behavioral models 

      Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) ...

    • Verifying consistency between structural and behavioral schemas in UML 

      Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2008-06-25)
      Projecte Final de Màster Oficial
      Accés obert