11

Démonstration de la plateforme Mopsa d’analyse statique de programmes par interprétation abstraite

Mopsa est un logiciel de vérification de programmes par analyse statique sûre basée sur la théorie de l'interprétation abstraite. Il infère automatiquement des invariants et détecte, à la compilation, les erreurs possibles à l'exécution. L'analyse …

Mlang: an Open-Source Toolchain for the Income Tax Computation

Once per year, the French Directorate for Public Finances (DGFiP) computes for each citizen the amount of income tax owed to the State, depending on their earnings reported on their tax return. This computation is largely automated and performed by a …

Étude formelle de l’implémentation du code des impôts

Le code des impôts définit dans son texte législatif une fonction mathématique permettant de calculer l'impôt sur le revenu d'un foyer fiscal. Afin de recouvrer l'impôt, cette fonction est implémentée sous la forme d'un algorithme par la Direction …