ClearSy and Witz corporation are cooperating to jointly develop the use of the B formal method in Japan.
Several actions have been undertaken since last year:
- A series of articles on embedded software development with B is being published by the journal “Interface“. The first page of the first four articles are freely available (1, 2, 3, 4)
- Atelier B 4.1.0 is now speaking Japanese:
- Tool interface has been translated
- Extended Unicode support allows to have Japanese identifiers and comments.
- Atelier B website is being translated to Japanese. The first translated pages are the welcome page and the version page.