Le moteur de recherche
des thèses françaises
Damien Pous
IdRefMots clés
FR |
EN
Preuve formelle
Langages de programmation -- Sémantique
Automates
Bisimulation
Assistants de preuve
Preuves cycliques
Sémantique opérationnelle
Complexité de calcul (informatique)
Analyse statique
Sémantique
Coq
Concurrence
Coinduction
Algebres de Kleene
Reecriture
Circuits
Calcul numérique rigoureux
Approximations polynomiales rigoureuses
Validation a posteriori
Méthodes symboliques-numériques