Séance de cours
Systèmes finis exprimés avec des formules
Description
Cette séance de cours couvre l'encodage déterministe des systèmes de transition à l'état fini en utilisant des fonctions booléennes, représentant les fonctions booléennes avec des tables et des formules, la logique propositionnelle, les problèmes de satisfaction et les invariants inductifs dans les circuits séquentiels. Il traite également de la vérification limitée du modèle pour laccessibilité et les systèmes de preuve formels.
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.