Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Sylvain Conchon
Sylvain Conchon
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Analyse modulaire de flot d'information pour les calculs séquentiels et concurrents
Directed Thesis:
Extensions de l’algorithme d’atteignabilité arrière dans le cadre de la vérification de modèles modulo théories
[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace
Inférence d'invariants pour le model checking de systèmes paramétrés
Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures