Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.
Souligne l'importance de l'évaluation par les pairs pour améliorer la qualité des essais grâce à une évaluation critique du contenu, de la forme, de la structure et du langage.
Introduit la vérification formelle et ses avantages par rapport aux méthodes de test traditionnelles, en discutant de la démonstration automatique des théorèmes et en compilant les déclarations d'exactitude dans des conditions de vérification.
Introduit la cartographie topographique du cerveau, les voies auditives, l'organisation du cortex moteur et le modèle linéaire général pour l'analyse des données IRMf.
Couvre l'identification et la spécification du modèle dans l'analyse des séries chronologiques, y compris les modèles d'EI et l'estimation des moindres carrés.
Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
