Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Couvre les modèles macroéconomiques intégrant les marchés financiers, l'analyse des décisions financières, les événements macroéconomiques et les réponses politiques.