Skip to contents

  2. Bjorner, Nikolaj [Author]; Hähnle, Reiner [Author]; Nipkow, Tobias [Author]; Weidenbach, Christoph [Author] ; Nikolaj Bjorner and Reiner Hähnle and Tobias Nipkow and Christoph Weidenbach [Contributor]

    Deduction and Arithmetic (Dagstuhl Seminar 13411)

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  3. Kulczynski, Mitja [Author] ; Nowotka, Dirk [Degree supervisor]; Göller, Stefan [Other]

    Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Kiel: Universitätsbibliothek Kiel, 2022

    Published in: Kiel Computer Science Series ; 2022/1

  6. Guyomarc'h, Jean [Author]; Guerret, François [Author]; El Mejjati, Bilal [Author]; Ohayon, Emmanuel [Author]; Vincke, Bastien [Author]; Mérigot, Alain [Author] ; Jean Guyomarc'h and François Guerret and Bilal El Mejjati and Emmanuel Ohayon and Bastien Vincke and Alain Mérigot [Contributor]

    Non-Simultaneity as a Design Constraint

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  7. Calvanese, Diego [Author]; Ortiz, Magdalena [Author]; Šimkus, Mantas [Author] ; Diego Calvanese and Magdalena Ortiz and Mantas Šimkus [Contributor]

    Verification of Evolving Graph-structured Data under Expressive Path Constraints

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  11. Bart, Anicet [Author] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [Contributor]; Monfroy, Éric [Contributor]

    Constraint modelling and solving of some verification problems ; Modélisation et résolution par contraintes de problèmes de vérification

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2017-10-17

  12. Bride, Hadrien [Author] ; Besançon [Contributor]; Kouchnarenko, Olga [Contributor]; Peureux, Fabien [Contributor]

    Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods ; Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-10-24

  13. Nguyen, Thi Hoa Hue [Author] ; Nice [Contributor]; Le Thanh, Nhan [Contributor]

    La vérification de patrons de workflow métier basés sur les flux de contrôle : une approche utilisant les systèmes à base de connaissances ; Control flow-based business workflow templates checking : an approach using the knowledge-based systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-06-23

  14. Belaid, Mohammed [Author] ; Nice [Contributor]; Rueher, Michel [Contributor]; Michel, Claude [Contributor]

    Résolution de contraintes sur les flottants dédiée à la vérification de programmes ; Constraint solver over floating-point numbers designed for program verification

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2013-12-04