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.).
http://www.tools.clearsy.com/index.php5?title=B-Compiler_Project
Be the first to post a text review of B Compiler. Rate and review a project by clicking thumbs up or thumbs down in the right column.
This release mainly introduces support for event B modelling language: - new component clause: SYSTEM (on the top-level component, in place of MACHINE) - new clause: EVENTS (in place of OPERATIONS) - support for explicit refinement: "evt1 ref evt2 = skip" means that event evt1 refines event evt2 from the abstract model. - support for WITNESSES: in order to ease proof when refining ANY substitutions
Initial version (1.0) of bcomp documentation, by ClearSy
1.0 : Initial version (ClearSy)
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?
Thanks for your review!
Get credit for your review by logging in via OpenID. Click your account provider: