Présentation de B4Free
Qu'est-ce que B4Free ?
B4Free permet une
utilisation opérationnelle de la méthode B et offre, au sein d'un
environnement cohérent, de nombreuses fonctionnalités permettant de
gérer des projets en langage B:
- les
vérifications syntaxiques des modèles, la génération automatique des
théorèmes à démontrer, la traduction automatique des modèles B bas
niveau vers les langages C et Ada,
- une aide à la preuve, pour démontrer automatiquement les théorèmes,
- une
aide au développement: gestion automatique des dépendances entre
composants B, bibliothèques réutilisables, génération de documentation
et génération de métriques,
- représentation
graphique de projets, navigateur hypertexte pour se diriger dans un
projet, affichage de l'état et des statistiques d'un projet, génération
automatique du dictionnaire des termes d'un projet, archivage des
projets.
Historique des Versions de B4Free
