Программы www.tools.clearsy.com/index.php5?title=B-Compiler_Project

Компилятор B является инструментом, способным анализировать модели B и выполнять синтаксис и семантический анализ. Он также может быть использован в качестве библиотеки, связанной с приложениями, манипулирующих моделями B (пе