Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Pactole
Pactole - Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.
Date de dernière version : 01 janvier 1970

Responsable : BALABONSKI Thibaut


Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles. Développement conjoint avec Université Claude Bernard Lyon 1, CNAM et Université de Yale.

Pour en savoir plus: http://pactole.lri.fr

Logiciel



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Membres
  BALABONSKI Thibaut
  PELLE Robin

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library