Sites Inria

Il y a 1 Résultats avec le mot clé : "Checking"

Soutenance de thèse

Soutenance de thèse de Kailiang Ji (Deducteam)

25/09/2015

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)

lire la suite

Haut de page

Suivez Inria