Home
>
Collaborations
> Collaborations
About LRI
Groups
Collaborations
Contracts and grants
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
Collaboration with Équipe de Logique Mathématique Université Paris Diderot Paris 7
(since Jan 1980)
Work on computability, complexity, and aproximate verification
Research activities:
>
Publications
°
Model-Checking
°
Randomized algorithms
°
Approximation algorithms
°
Complexity
Groups:
°
Algorithms and Complexity
°
Parallelism
°
Formal Testing and System Exploration
Contact:
More information:
Collaborations
°
AdaCore SAS
avec
Verification of Algorithms, Languages and Systems
°
LSV, ENS Cachan
avec
Verification of Algorithms, Languages and Systems
°
System X FSF
avec
Verification of Algorithms, Languages and Systems
°
International Joint Project MoBasT
avec
Verification of Algorithms, Languages and Systems
°
GDR Informatique Mathématique
> more collaborations
