PROGRAMS BY www.tools.clearsy.com/index.php5?title=B-Compiler_Project

The B compiler is a tool able to parse B models, and perform syntaxic and semantic analysis. It can also be used as a library, linked to applications manipulating B models (cross referencer, code generator, documentation gene