Programas por www.tools.clearsy.com/index.php5?title=B-Compiler_Project

O compilador B é uma ferramenta capaz de analisar modelos B e realizar análises sintaxicas e semânticas. Também pode ser usado como biblioteca, vinculada a aplicações que manipulam modelos B (cruzador de referência, gerador d