Accueil - Nouveautés - Produit - Versions - Télécharger - Manuels - Maintenance - Politique de Distribution
Perspectives & Appels à Contribution - Support - Formation - Documents - Presse - Références -
R&D - Contacts - Emploi - Liens - Votre Compte

Liens

En complément des ressources proposées sur notre site, plusieurs autres sites proposent des informations générales liées à B :

Sites complémentaires à l'Atelier B

ClearSySite de la société ClearSy, spécialiste des systèmes et sécuritaires. ClearSy assure le développement et la distribution de l'application Atelier B.

 

 

Méthode BLe site Methode B a pour but de présenter les différents travaux et sujets de réflexion de Clearsy sur la méthode B, méthode formelle avec preuve. Vous y trouverez une présentation de la méthode B, ainsi que le détails de nombreux projets portant sur B et les méthodes formelles.

 

 

B Tools ForumLe B Tools Forum est un espace de discussion dédié aux outils B. N'hésitez pas à y poser vos questions. Notre équipe vous répondra dans les meilleurs délais !

 

 

BramaBrama est un outil de modélisation graphique appliqué aux méthodes formelles B. Il met en scène vos modèles développés à partir du langage B.

 

 

Logo ComenCLe traducteur ComenC est un nouveau traducteur pour le langage B. Il permet de traduire des implémentations B0 vers le langage C. Ce traducteur est issu de la convergence entre les traducteurs industriels, et des travaux de recherches tels que le projet RNTL BOM (B optimisé mémoire).

 

 

CompoSysCompoSys est un outil de conception formelle d'architecture système.

 

 

 

Site B GrenobleMaintenu par le laboratoire LSR, le site B de Grenoble rassemble les principales références relatives à la méthode B, aux outils B et aux utilisateurs de B.

 

 

B User Group BUGLe B User Group est un service de mailing-list lié à B qui permet de vous tenir informé des différents événements liés à la méthode B.

 

 

INRETSInstitut National de Recherche sur les Transports et leur Sécurité.