b compiler online with Winfy

We have hosted the application b compiler in order to run this application in our online workstations with Wine or directly.

Quick description 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.).

Audience: Developers.

Programming Language: C.

.