Home
>
Research results
> Software & patents
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
Pactole
Pactole - Coq formalisation a mobile sensors networks.
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
Research activities
Formalisation of (Specification and Programming) Languages in Proof Assistants
Members
BALABONSKI Thibaut
PELLE Robin
Group
Verification of Algorithms, Languages and Systems
Software & patents
BSP++
The C++ Bulk Synchronous Parallelism Library
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
> more software & patents
