Das LIP6, die Sorbonne University und das französische nationale Zentrum für wissenschaftliche Forschung (UMR 7606 Sorbonne University - CNRS), ist ein Forschungsinstitut für Informatik, das sich der Modellierung und Lösung grundlegender Probleme, die durch Anwendungen bedingt sind, sowie der Implementierung und Validierung widmet durch akademische und industrielle Partnerschaften.

LIP6 adressiert diese Herausforderungen innerhalb seiner vier Forschungsachsen:

  • Prédire le comportement de programmes par «model checking»
Alle Neuigkeiten... Archive

wadm (at) nulllip6.fr

Mentions légales
Plan