Séance de cours
Défis en matière de raisonnement bit-precise
Description
Cette séance de cours de l'instructeur de l'Université Johannes Kepler à Linz, en Autriche, à la FMCAD 2014 traite des défis du raisonnement bit-precise, y compris les résultats SMT-COMP, AIG, bit-blasting, transformation Tseitin, architecture Booclector, et des classes de complexité. Il couvre des sujets comme les opérateurs bit-wise, le déplacement, la double propagation, et la vérification des modèles.
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.