Pactole - Coq formalisation a mobile sensors networks.
Date of the last release: 01 January 1970

Person in charge : BALABONSKI Thibaut


Coq formalisation a mobile sensors networks. Joint development with Université Claude Bernard Lyon 1, CNAM and Yale University.

More information: http://pactole.lri.fr

Software



Research activities
  Formalisation of (Specification and Programming) Languages in Proof Assistants

Members
  BALABONSKI Thibaut
  PELLE Robin

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE