- Présentation
- Publications HAL
Equipe de recherche TOCCATA
Certified Programs, Certified Tools, Certified Floating-Point Computations
- Responsable : Claude Marche
- Type : équipe
- Centre(s) de recherche : Saclay
- 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
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- 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
- TYPICAL - Types, logique et calcul
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Contact
Responsable de l'équipe
Claude Marche
(Voir toutes les équipes)
Voir aussi
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel
