{"id":671,"date":"2012-11-02T08:06:56","date_gmt":"2012-11-02T07:06:56","guid":{"rendered":"http:\/\/www.atelierb.eu\/?p=671"},"modified":"2015-06-13T11:10:19","modified_gmt":"2015-06-13T10:10:19","slug":"atelier-b-4-1-beta-1-2","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2012\/11\/02\/atelier-b-4-1-beta-1-2\/","title":{"rendered":"Atelier B 4.1 Beta 1"},"content":{"rendered":"
Atelier B 4.1 Beta 1<\/a>\u00a0phase starts on November 2nd 2012 for a month.<\/p>\n This release integrates 4.0.2 improvements and comes along with a number of new features such as:<\/p>\n Support documentation describing how to use practically these new features will be released during October 2012.<\/p>\n Atelier B 4.1 will become in December 2012 the new Atelier B Community Edition, replacing the 4.0.1 version.<\/p>\n","protected":false},"excerpt":{"rendered":" Atelier B 4.1 Beta 1\u00a0phase starts on November 2nd 2012 for a month. This release integrates 4.0.2 improvements and comes along with a number of new features such as: data validation\/generation projects support, in complement of “B for Software” and “B for Systems” projects, \u00a0as well as Prob model checker integration; project graphical views, allowing […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[10,4],"tags":[],"yoast_head":"\n\n