Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Antoine Miné
Antoine Miné
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Domaines numériques abstraits faiblement relationnels
Directed Thesis:
Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats
Vérification par interprétation abstraite en mémoire faiblement cohérente
Static analysis by abstract interpretation of functional temporal properties of programs