Menu Accueil l Actualités B l La Méthode B l Travaux R&D l Preuve Formelle l Publications B, les différents langages l Outils B l Documents l B Tools Forum l Nos Liens l Contact
Accueil l Actualités B l La Méthode B l Travaux R&D l Preuve Formelle l Publications B, les différents langages l Outils B l Documents l B Tools Forum l Nos Liens l Contact
Abonnez-vous à notre flux RSS
Atelier B : Outil industriel qui permet une utilisation opérationnelle de la méthode B. B4Free : Outil académique faisant appel à la méthode B pour des développements logiciels prouvés.
Brama : Outil d'animation graphique de modèle formel B. CompoSys : Méthode et outil pour des descriptions formelles de systèmes. RODIN : Plateforme ouverte pour la modélisation et la preuve de systèmes complexes en B événementiel.
Méthode B : Présentation
Actualité sur B
Projets B (Travaux R&D)
Outils et Plugins B
Preuve Formelle
Publications
B Tools Forum Forum de discussion dédié aux outils B de ClearSy.
Inscription DésinscriptionVous êtes plus particulièrement utilisateur de nos outils suivants... Atelier B B4Free Composys Plusieurs Fersil
ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A 13857 AIX EN PROVENCE CEDEX 3 Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 - contact@clearsy.com
Brama
:
RODIN
:
