Le moteur de recherche
des thèses françaises
Damien Pous
IdRefMots clés
FR |
EN
Preuve formelle
Automates
Preuves cycliques
Complexité de calcul (informatique)
Langages de programmation -- Sémantique
Analyse statique
Algebres de Kleene
Reecriture
Circuits
Bisimulation
Assistants de preuve
Calcul numérique rigoureux
Approximations polynomiales rigoureuses
Validation a posteriori
Méthodes symboliques-numériques
Fonctions D-finies
Aérospatial
Arithmétique des ordinateurs
Calcul formel
Preuves assistées par ordinateur