Unité

Laboratoire d'analyse et de raisonnement automatisés

Laboratoire
Résumé

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.

Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.