EPFL Logo
fr|en
Se Connecter
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.

Copyright © 2025 EPFL, tous droits réservés

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.