Atelier B 4.1 has been released in 2012. For Linux machines, it is available as a binary packages for 32 bits x86 machines in RPM and DEB format. Unfortunately the DEB package won’t work on a Debian-like 64 bits machine, for example an Ubuntu. This article describes the approach used to install the package.
- Atelier B
- B Method Training