MADE IN FRANCE
News
R&D
Support & Maintenance
Contact
Atelier B tool
Atelier B 4.7
Online Documentation
B Training Resources
B Method Training – Level 1: Understand B
B Method Training – Level 2: Practice B
B Method Training – Level 3: Prove B
B Method
Teaching B
Bibliography
B and its different languages
Formal Proof
Automatic Refinement
Code generation
Download
Uncategorized
Published on |
Facebook
Linkedin
Twitter
Mail
←
AI for interactive proof
Atelier B used to develop open source OPC UA implementation
→
Search
OK
Recent articles
Event “Mathematical Proof and Software Safety”
Tutorial “Using B to Program the CLEARSY Safety Platform”
Archives
ATELIER B ARCHIVES
Archives
Select Month
April 2024
May 2023
March 2023
January 2023
January 2022
August 2021
July 2021
May 2021
February 2021
April 2020
January 2020
June 2019
March 2019
June 2018
December 2017
November 2017
September 2017
July 2017
January 2017
October 2016
June 2016
March 2016
February 2016
June 2015
March 2015
February 2015
December 2014
October 2014
June 2014
April 2014
March 2014
December 2013
September 2013
July 2013
June 2013
February 2013
December 2012
November 2012
October 2012
June 2012
January 2011
July 2010
May 2010
February 2010
January 2010
December 2009
November 2009
October 2009
July 2009
May 2009
April 2009
March 2009
February 2009
December 2008
November 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
February 2008
January 2008
September 2007
July 2007
June 2007
February 2007
September 2006
March 2006
We use cookies to give you the best experience on our website
Accept cookies
Privacy policy
