Partners

LSV

The LSV is the computer science laboratory at ENS Cachan (http://www.ens-cachan.fr/). Its focus in on automated verification methods of computer systems. See http://www.lsv.ens-cachan.fr/.

The LSV is the scientific coordinator of the CPP project. It acts in all workpackages. Its expertise is mostly in semantic models of mixed (probabilistic and non-deterministic) choice.

Members