Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (10)
  • Paris 11 (4)
  • Paris, CNAM (4)
  • Rennes 1 (3)
  • Toulouse, ISAE (3)
  • Besançon (1)
  • Cachan, Ecole normale supérieure (1)
  • Georgia institute of technology (1)
  • Orléans (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENST (1)
  • Prove & Run (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (28)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Electronique et communications (1)
  • Informatique et Télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Informatique, télécommunications et électronique de Paris (6)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • MATISSE (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (19)
  • français (14)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Conchon Sylvain (3)
  • Delahaye David (3)
  • Filliâtre Jean-Christophe (3)
  • Jensen Thomas (3)
  • Dubois Catherine (2)
  • Garoche Pierre-Loïc (2)
  • Le Gall Pascale (2)
  • Marché Claude (2)
  • Wolff Burkhart (2)
  • Barkaoui Kamel (1)
  • Berkani Karim (1)
  • Bhargavan Karthikeyan (1)
  • Blazy Sandrine (1)
  • Chailloux Emmanuel (1)
  • Contejean Evelyne (1)
  • Dowek Gilles (1)
  • Duc Guillaume (1)
  • Feron Eric (1)
  • Giorgetti Alain (1)
  • Haddad Serge (1)
  • Henrion Didier (1)
  • Julliand Jacques (1)
  • Kosmatov Nikolaï (1)
  • Le Gall Tristan (1)
  • Loulergue Frédéric (1)
  • Mauny Michel (1)
  • Miller Dale (1)
  • Mokdad Nadia Lynda (1)
  • Pacalet Renaud (1)
  • Signoles Julien (1)
  • Siles Vincent (1)
  • Wiels Virginie (1)
  • Yakobowski Boris (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (31)
  • Informatique, information, généralités (1)

Domaines :

Fullscreen

32 thèses pour "Alt-Ergo"

...historical SAT solver of the SMT solverAlt-Ergo. This promising start lead us to optimize thecombination of...

Accéder en ligne

...solver Alt-Ergo and use the Coq proof assistant to formally verifyAlt-Ergo’s core components. This leads...

Accéder en ligne

...ALT-ERGO. The CSA module implements the case-split analysis mechanism fornon-convex theories.Figure 5...

Accéder en ligne

...mechanism.4.2.4 Comparison with Alt-Ergo’s Built-In Quantifier HandlingWe use the Why3 VC generator version 0...

Accéder en ligne

...nombre de fois la meˆme me´canique depreuve, par exemple pour chaque variable ou e´le´ment d’un tableau.Alt-Ergo...

Accéder en ligne

...Axiomatic Core of the B Set TheoryAlt-Ergo ArchSAT Zenon Modulo ZipperpositionProofs (total: 320) 232 272...

Accéder en ligne
Informatique

Soutenue le 12-12-2011
thèse soutenue
Informatique et Télécommunications

Soutenue le 11-07-2019
thèse soutenue

Résultats 1 à 10