Programy według www.tools.clearsy.com/index.php5?title=B-Compiler_Project

Kompilator B jest narzędziem, które może analizować modele B i przeprowadzać analizę składniową i semantyczną. Może być również używany jako biblioteka, połączony z aplikacjami manipulującymi modelami B (cross referencer, gen