Bienvenue

Bienvenue sur le site du projet ANR FORMEDICIS 2017-2020.

Son  objectif est de proposer un langage, des méthodes et des outils fondés sur des techniques formelles pour le développement d'applications interactives critiques et sûres. Pour cela, FORMEDICIS cherche d'abord à définir un langage formel pivot FLUID.

Ce langage permettra aux concepteurs de vérifier ou de prouver formellement leur conception et d'itérer sur elle avant d'en générer un code partiel pour la soumettre ensuite au développement. Il permettra également aux développeurs de vérifier que leur produit est conforme à une spécification de référence. FORMEDICIS cherche ensuite à développer, autour du langage FLUID, un environnement largement fondé sur les techniques de réécriture et dédié à la vérification et au développement d'applications interactives critiques et sûres.

S'abonner à Projet ANR Formedicis RSS