B Compiler 19.05.2009
License: Free File size: N/A
Users Rating: 3.8/5 - 4 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT B Compiler
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 generator, etc.).