Actualités

model checking

Recherche en cours : le Model Checking, pour les explorateurs de systèmes !

Le Model Checking est au cœur des recherches de l'équipe Automates & Vérification du Laboratoire de Recherche et Développement de l’EPITA.

Partenariat franco-tchèque pour le labo R&D de l’EPITA

L'EPITA et la Masaryk University travailleront sur le projet Spot.