{"version":1,"pages":[{"id":"JERHfktwgzrZa4at6fNO","title":"Introduction","pathname":"/training-resources-for-atelier-b","siteSpaceId":"sitesp_Boo59","description":""},{"id":"iI3RcVEWCwu8BnONbF1R","title":"Installation","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/installation","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"}]},{"id":"W55uH32Yu5IOJykFeysc","title":"Training Videos","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/training-videos","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"}]},{"id":"oM1JkEv6mXiJjILEEWhW","title":"Training Slides","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/slides","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"}]},{"id":"XNNTc1SLijl1sTxS7Xgi","title":"Applying the B Method","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"}]},{"id":"nBe4TvgtY4ghInrSsCpu","title":"Project Creation","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/project-creation","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"}]},{"id":"k4TtVtOtiIclAuZ3rraN","title":"Code Generation","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/code-generation","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"}]},{"id":"iTK0jstqJuZjDHnvLykM","title":"Mathematical Proof","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"}]},{"id":"xsdKZEaY16d5m6z2nfbx","title":"Writing Mathematical Rules","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules","siteSpaceId":"sitesp_Boo59","emoji":"1f525","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"}]},{"id":"vdkivpAF8q7DKPwHfRh5","title":"Introduction","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/introduction","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"EMRGjUVeLPBKKUpgLdWg","title":"Introduction to the Theory Language","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/introduction-to-the-theory-language","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"u70gOBVFE17FyXagnnuy","title":"How to write mathematical rules","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/how-to-write-mathematical-rules","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"FppzEtkXtz0orzj3Qzpk","title":"Using Automatic Prover Mechanisms","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/using-automatic-prover-mechanisms","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"x1NTdfJeetc57JK9hUGt","title":"Guards in a nutshell","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/guards-in-a-nutshell","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"tQP1msanQu4p6U07Ko6r","title":"Normalisation of Expressions","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/normalisation-of-expressions","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"17K2ZdcT6O35ThBZPKTK","title":"Common pitfall","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/common-pitfall","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"ndiRgiSsqp7f3hyT38Nl","title":"All guards in the theory language","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/all-guards-in-the-theory-language","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Applying the B Method"},{"label":"Mathematical Proof"},{"label":"Writing Mathematical Rules","emoji":"1f525"}]},{"id":"FIXfTht2myYi5blbcCDE","title":"Extending Atelier B","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/extending-atelier-b","siteSpaceId":"sitesp_Boo59","description":"This page describes the extensibility features found in Atelier B 4.","breadcrumbs":[{"label":"Guides and Tutorials"}]},{"id":"GcEGKRE1cDic8euDQTPp","title":"Syntax","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/extending-atelier-b/syntax","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Extending Atelier B"}]},{"id":"fjdbb7lJ8J2ta00luGg7","title":"Examples","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/extending-atelier-b/examples","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Guides and Tutorials"},{"label":"Extending Atelier B"}]},{"id":"ghnWSTP3RKJYcKEPJAlM","title":"Programming the CLEARSY Safety Platform","pathname":"/training-resources-for-atelier-b/guides-and-tutorials/programming-the-clearsy-safety-platform","siteSpaceId":"sitesp_Boo59","breadcrumbs":[{"label":"Guides and Tutorials"}]},{"id":"oErwZgUa4Z6lEel4ynRE","title":"Fuel Level","pathname":"/training-resources-for-atelier-b/examples-and-case-studies/fuel-level","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Examples and Case-studies"}]},{"id":"L7pFWRV0OEV2Gcb9oiqv","title":"Switch","pathname":"/training-resources-for-atelier-b/examples-and-case-studies/switch","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Examples and Case-studies"}]},{"id":"N2C2Xa1ekvLZ0RY1aOQo","title":"Security Policy","pathname":"/training-resources-for-atelier-b/examples-and-case-studies/security-policy","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Examples and Case-studies"}]},{"id":"ghDJpC7Js3lKNGV5xytW","title":"Verified Software Competitions","pathname":"/training-resources-for-atelier-b/examples-and-case-studies/verified-software-competitions","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Examples and Case-studies"}]},{"id":"FfpgV4el9hrgucEtZO2O","title":"Glossary","pathname":"/training-resources-for-atelier-b/additional-resources/glossary","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Additional Resources"}]},{"id":"EU2j6C7GUBdO9Rv7JbUV","title":"References","pathname":"/training-resources-for-atelier-b/additional-resources/references","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Additional Resources"}]},{"id":"XPwFEv5yhAkxwidAa3Ds","title":"Frequently Asked Questions","pathname":"/training-resources-for-atelier-b/additional-resources/frequently-asked-questions","siteSpaceId":"sitesp_Boo59","description":"","breadcrumbs":[{"label":"Additional Resources"}]}]}