Accueil |
Actualités B |
La Méthode B |
Travaux R&D |
Preuve Formelle |
Publications |
Conférences |
B, les différents langages |
Projets Open Source |
Outils B |
Documents |
Liens |
Contact
Méthode B
Ce site 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.
 |
La Méthode B et ses Outils |
 |
|
|
|
|
Atelier
B :
Outil industriel qui permet une utilisation opérationnelle de la méthode
B.
|
|
|
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 |
|
|
|
|
|
|
|
|
|
Actualités
Warning: include(/homepages/5/d101319127/htdocs/methode-b.com/news/titres.php?page=1) [function.include]: failed to open stream: No such file or directory in /homepages/5/d101319127/htdocs/methode-b.com/index.php on line 220
Warning: include() [function.include]: Failed opening '/homepages/5/d101319127/htdocs/methode-b.com/news/titres.php?page=1' for inclusion (include_path='.:/usr/lib/php5') in /homepages/5/d101319127/htdocs/methode-b.com/index.php on line 220
|
Newsletter
|
ClearSy Tools
Abonnez-vous à notre flux RSS