Show Menu
Hide Menu
Home
From the Director
Organisation
LIP6 - Layout
Direction
Administration
IT service
Scientific Board
Governing Board
PhD Board
Location & Contact
Research
Axes & Teams
Publications
PhD graduated
News
Guests
Previous Guests
Archives
Formation
Annual Report
Valorisation
Our skills
How to works with us
Software
Patents
Start-ups
Jobs
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
LIP6
Centre National de la Recherche Scientifique
Sorbonne Universté
image/svg+xml
Home
Research
News
Prédire le comportement de programmes par «model checking»
Video here …
Prédire le comportement de programmes par «model checking»