Microsoft Research Formula 1.3 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. C'est grâce à Microsoft Research que ce programme gratuit a vu le jour.
Parmis les utilisateurs de ce programme, la version la plus téléchargée est la version 1.3. Formula.exe est le nom classique pour le fichier d'installation du programme. Ce programme se trouve dans la sous-catégorie Outils Scientifiques de Éducation et Science.
Du développeur:
FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types (ADTs) and strongly-typed constraint logic programming (CLP), which support concise specifications of abstractions and model transformations
Utilisateur de Microsoft Research Formula, vous pourriez être intéressé aussi par ces outils : Visual Prolog, AusLogics BoostSpeed ou Microsoft Visual Studio.NET.