Research in progress: Model Checking, for system explorers! Alexandre Duret-Lutz, teacher-researcher at EPITA and head of the Automatons & Verification team at the LRDE, takes the time to explain what makes Model Checking an essential approach for computer science research today. En lire +