Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Synthèse de programmes
Science formelle
Logique
Logique classique
Calcul des prédicats
Graph Chatbot
Séances de cours associées (4)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 1 sur 1
Suivant
Vérification formelle et synthèse des programmes
Explore les recherches de Viktor Kuncak sur la vérification formelle, la synthèse de programmes et les activités d'enseignement à l'EPFL.
Vérification formelle et synthèse des programmes
Par l’instructeur Viktor Kuncak explore les activités de vérification formelle, de synthèse de programme et d’enseignement à l’EPFL.
Techniques de programmation logique: Recherche et unification automatisées de preuves
Couvre les concepts de programmation logique, en se concentrant sur la recherche de preuve automatisée et les techniques d'unification dans Coq.
Programmation assistée par solvant pour tous
Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
