Vérification de modèles Vérification des faits East Entrance Checking Station Saint Mary Visitor Center, Entrance Station and Checking Stations Laurent Bigot Les Surligneurs Méthode formelle appliquée à l'électronique Edmund M. Clarke Vérification CTL* Africa Check Helmut Veith Climate Feedback Faktisk.no Electric (logiciel) FactCheck.org Réduction par ordre partiel Allen Emerson Rajeev Alur Captain Fact Poynter Institute Le Factuel Patricia Bouyer-Decitre ACM-IEEE Symposium on Logic in Computer Science Mu-calcul Structure de Kripke Démonstration automatique de théorèmes Orna Kupferman Droit de suite (journalisme) 2-EXPTIME East Entrance Residence UP (complexité…

©) DRC David L. Dill Joseph Sifakis Infernal Poetry Méthode formelle (informatique) Marta Kwiatkowska Christel Baier Warhammer: Arcane Magic Blériot (lune) Nicolas Halbwachs Diagramme de décision binaire Pierre Wolper John D'Agata Joseph Lavoisier Tsapy Unknown Mortal Orchestra James B. Saxe Système de transition d'états Stéphane Soumier Fiston Mahamba Banshee Origins P (complexité) Politifact Romeo (logiciel) Marie-Christine Rousset Liste de problè

mes indécidables Moshe Vardi Autoportrait dans un cercle d'amis de Mantoue ACM Transactions on Computational Logic Snopes JSLint Automate d'arbres infinis Mihalis Yannakakis Joost-Pieter Katoen Amir Pnueli Bob Bendetson Céline Pitelet Jeff Bezanson SPIN model checker John Agard Dégradation logicielle Histoire des Juifs en Namibie American College of Pediatricians Aurra Shmuel Safra Philippe DeBarge Philippe Bergeron (acteur) Antichaîne Infodémie GNU Aspell John Durbin Frédéric Sinistra Les Décodeurs America (The Book) Logique temporelle linéaire Neil Immerman Second Round's on Me Nicholas