NEWS
SYSTEM LEVEL FORMAL PROOFS FOR THE CBTC OF THE NEW YORK FLUSHING LINE
System level proofs for the CBTC of the New York Flushing line has been presented on June 26th 2013 in Paris. The aim of this presentation is to give the...
SuperZenon to provide another prover to Atelier B
"SuperZenon is an experimental extension of the Zenon automated theorem prover, using the principles of superdeduction, among which the theory is used to...
How to install Atelier B 4.1 on a Debian-like 64 bits machine
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....
Formal verification of PLC programs using the B method
We pusblish this report which is related to safety critical industrial automation systems. Author: Haniel Moreira BarbosaAdvisor: David DéharbeDate: October...
Atelier B 4.1.0 and Japan
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...
Atelier B 4.1.0
Atelier B 4.1.0 has been released for everyone and without any restrictions of use. This new release brings 385 bug corrections and 56 improvements (see...