Laboratoire d'analyse et de raisonnement automatisés

Le Laboratoire d'analyse et de raisonnement automatique (LARA) de l'EPFL, dirigé par Viktor Kuncak, se concentre sur le développement de techniques, d'outils, d'algorithmes et de langages de raisonnement automatisés précis pour aider à la construction de systèmes informatiques vérifiés. Le groupe de recherche de LARA travaille sur des projets comme Inox pour la vérification des programmes et Leon pour la synthèse des programmes. Ils visent à faciliter la construction de logiciels grâce à la programmation implicite, qui tire parti des procédures de synthèse et des nouveaux outils de développement. LARA collabore avec divers groupes de recherche et a mis au point une gamme d'outils logiciels pour la vérification et la synthèse des programmes.