Skip to contents Cantenot, Jérôme [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor] Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-11-13 Bardin, Sébastien [Author]; Jha, Somesh [Author]; Ganesh, Vijay [Author] ; Sébastien Bardin and Somesh Jha and Vijay Ganesh [Contributor] Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291) Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023 Braun, David [Author] ; Strasbourg [Contributor]; Schreck, Pascal [Contributor] Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective ; Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-09-23 Defourné, Rosalie [Author] ; Université de Lorraine [Contributor]; Merz, Stephan [Contributor]; Fontaine, Pascal [Contributor] Encoding TLA⁺’s Set Theory for Automated Theorem Provers ; Encodages de la théorie des ensembles de TLA⁺ pour la preuve automatique Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-11-07 Weber, Tjark SMT solvers: new oracles for the HOL theorem prover Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2011 Published in: International Journal on Software Tools for Technology Transfer, 13 (2011) 5, Seite 419-429 Roe, Kenneth Computer Aided Verification: The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Computer Aided Verification (2006), Seite 467-470
Cantenot, Jérôme [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor] Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-11-13
Bardin, Sébastien [Author]; Jha, Somesh [Author]; Ganesh, Vijay [Author] ; Sébastien Bardin and Somesh Jha and Vijay Ganesh [Contributor] Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291) Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Braun, David [Author] ; Strasbourg [Contributor]; Schreck, Pascal [Contributor] Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective ; Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-09-23
Defourné, Rosalie [Author] ; Université de Lorraine [Contributor]; Merz, Stephan [Contributor]; Fontaine, Pascal [Contributor] Encoding TLA⁺’s Set Theory for Automated Theorem Provers ; Encodages de la théorie des ensembles de TLA⁺ pour la preuve automatique Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-11-07
Weber, Tjark SMT solvers: new oracles for the HOL theorem prover Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2011 Published in: International Journal on Software Tools for Technology Transfer, 13 (2011) 5, Seite 419-429
Roe, Kenneth Computer Aided Verification: The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Computer Aided Verification (2006), Seite 467-470
> Media type Skip to next facet Articles (3) Wert ausschließen Thesis (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (4) Wert ausschließen Without Specification (2) Wert ausschließen Show more show less
> Language Skip to next facet English (3) Wert ausschließen French (2) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (5) Wert ausschließen Mathmatics (2) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bardin, Sébastien (1) Wert ausschließen Besançon (1) Wert ausschließen Bouquet, Fabrice (1) Wert ausschließen Braun, David (1) Wert ausschließen Cantenot, Jérôme (1) Wert ausschließen Defourné, Rosalie (1) Wert ausschließen Fontaine, Pascal (1) Wert ausschließen Ganesh, Vijay (1) Wert ausschließen Jha, Somesh (1) Wert ausschließen Merz, Stephan (1) Wert ausschließen Roe, Kenneth (1) Wert ausschließen Schreck, Pascal (1) Wert ausschließen Strasbourg (1) Wert ausschließen Sébastien Bardin and Somesh Jha and Vijay Ganesh (1) Wert ausschließen Université de Lorraine (1) Wert ausschließen Weber, Tjark (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (4) Wert ausschließen theses.fr (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen Show more show less