The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Formal Methods in System Design
Using simulation and 3D graphics software to visualize formally developed control systems
Proceedings of the 15th WSEAS international conference on Computers
Applying the b method for the rigorous development of smart card applications
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
An extension of event b for developing grid systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Automatic translation from combined B and CSP specification to java programs
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
The B method, developed by Jean-Raymond Abrial, is a formal method which enables an incremental development process (also known as the refinement process). The distribution of the B Method and the creation of experimental research tools face constraints of the market for existing tools: cost, limited access, and limited number of systems (hardware and software) requiring this kind of support. The purpose of the jBTools project is to solve this problem by proposing an open-source platform. In this article, we will present the architecture of the platform, the available base tools (User Interface, Parser, Type Checker) producing an XML format and the optimized code generator for the French project RNTL BOM2.