TOCCATA (SR0530HR)

Certified Programs, Certified Tools, Certified Floating-Point Computations

PROVAL (SR0512LR) →  TOCCATA →  TOCCATA (SR0646IR)

Statut: Terminée

Responsable : Claude Marche

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/09/2012 -> 31/12/2014
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Saclay
Localisation : Centre de recherche Inria de Saclay
Code structure Inria : 111029-1

Numéro RNSR : 201221053L
N° de structure Inria: SR0530HR

Présentation

Axes de recherche

Relations industrielles et internationales