Programmes par www.tools.clearsy.com/index.php5?title=B-Compiler_Project

Le compilateur B est un outil capable d’analyser les modèles B et d’effectuer une analyse syntaxique et sémantique. Il peut également être utilisé comme bibliothèque, lié à des applications manipulant des modèles B (référent