9

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 …