- Présentation
- Publications HAL
Equipe de recherche DEDUCTEAM
Deduction modulo, interopérabilité et démonstration automatique
- Responsable : Gilles Dowek
- Type : équipe
- Centre(s) de recherche : Paris - Rocquencourt
- Domaine : Algorithmique, programmation, logiciels et architectures
- Thème : Programmation, vérification et preuves
Présentation de l'équipe
Equipes de recherche du même thème :
- ABSTRACTION - Interprétation abstraite et analyse statique
- ATEAMS - Analyse et Transformation a base des composition fideles des outils
- CARTE - Théorie des calculs adverses, et sécurité
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- CELTIQUE - Certification de logiciel par analyse sémantique
- COMETE - Concurrence, Mobilité et Transactions
- CONTRAINTES - Programmation par contraintes
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- MARELLE - Mathématiques, Raisonnement et Logiciel
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- PAREO - Ilôts formels: fondements et applications
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- PROSECCO - Programming securely with cryptography
- SECSI - Sécurité des systèmes d'information
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, logique et calcul
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Contact
Responsable de l'équipe
Gilles Dowek
(Voir toutes les équipes)
Voir aussi
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel
