Il y a 1 Résultats avec le mot clé : "Checking"
Soutenance de thèse
Soutenance de thèse de Kailiang Ji (Deducteam)
Le model checking est une technique de vérification automatique de propriétés de correction de systèmes finis. Normalement, les outils de model checking ont deux caractéristiques remarquables : ils sont automatisés et ils produisent un contre-exemple si le système ne satisfait pas la propriété. La Déduction Modulo est une reformulation de la logique des prédicats où certains axiomes---possiblement tous---sont remplacés par des règles de réécriture.
Lieu : 10h00 Salle 1006 - Bât. "Sophie-Germain" - Paris Diderot - 8, place Aurélie Nemours, 75013 Paris
Intervenant(s) : Kailiang Ji (Deducteam)
Mots-clés :
Accueil > Centre > Paris > Agenda > Soutenance de thèse de Kailiang Ji (Deducteam)
Centres de recherche Inria
