{"id":8878,"date":"2020-03-13T11:24:53","date_gmt":"2020-03-13T10:24:53","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/?page_id=8878"},"modified":"2023-01-18T09:46:48","modified_gmt":"2023-01-18T07:46:48","slug":"formal-method","status":"publish","type":"page","link":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/","title":{"rendered":"Formal Method"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row el_class=&#8221;py-3&#8243;][vc_column]<div class=\"text-bloc\"><h1 class=\"titre_l-bleu-trait-bleu\" style=\"text-align: center;\"><span class=\"txt_MAJ\">Formal Method<\/span><\/h1>\n<\/div><div class=\"text-bloc my-2\"><p style=\"text-align: center;\">The <a href=\"https:\/\/www.atelierb.eu\/en\/presentation-of-the-b-method\/\">B Method<\/a> is a formal specification method capable of rigorously transcribing the requirements of a specification,<br \/>\nby means of mathematical proofs, in order to prove their coherence.<\/p>\n<\/div><div class=\"text-bloc\"><p style=\"text-align: center;\" class=\"titre_s-bleu\">THIS PROCESS ALLOWS TO REMOVE ANY AMBIGUITY ON THE PROPERTIES INITIALLY EXPRESSED IN NATURAL LANGUAGES.<br \/>\nTHE B LANGUAGE CAN BE USED ON PROTOCOLS AS WELL AS ON EMBEDDED COMPUTING.<\/p>\n<p style=\"text-align: center;\"><a href=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2023\/01\/Formal-methods-for-Railways-leaflet-April-2022.pdf\" class=\"btn_plein-bleu\">Download our leaflet &#8220;Formal Methods in the Railways&#8221;<\/a><\/p>\n<\/div><div class=\"text-bloc liste-ancres\"><ul>\n<li><a href=\"#methodeB\">The B Method<\/a><\/li>\n<li><a href=\"#referencesB\">References<\/a><\/li>\n<li><a href=\"#enseignementB\">Teaching B<\/a><\/li>\n<li><a href=\"#Verification\">Formal Verification<\/a><\/li>\n<\/ul>\n<\/div>[\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;methodeB&#8221; el_class=&#8221;bg-gris&#8221;][vc_column][vc_row_inner][vc_column_inner el_class=&#8221;mb-2 mb-md-0&#8243; width=&#8221;1\/2&#8243;]<div class=\"image-single-wrapper text-bloc text-center\"><img loading=\"lazy\" decoding=\"async\" width=\"525\" height=\"499\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/03\/methode-B.jpg\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/03\/methode-B.jpg 525w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/03\/methode-B-300x285.jpg 300w\" sizes=\"auto, (max-width: 525px) 100vw, 525px\" \/><\/div>[\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><h2 class=\"titre_m-bleu-trait-orange\"><span class=\"txt_MAJ\">The B Method<\/span><\/h2>\n<\/div><div class=\"text-bloc\"><p>The B Method encompasses all the proof modelling of a system, from the writing of its model to its software implementation, while respecting the original fundamental data.<\/p>\n<p><span class=\"couleur_bleu\">RELIABILITY, SECURITY<\/span><br \/>\nAlthough the uses of the B Method are diverse (modelling a system, formalising a specification, etc.), the objective is the same: to ensure the reliability, safety and absence of computer bugs of a system through mathematical proofs.<\/p>\n<p><span class=\"couleur_bleu\">THE ATELIER B: DEVELOPING PROVEN SOFTWARE<\/span><br \/>\nThe B Method draws its legitimacy from the development of approved tools used on a large scale in the industrial and academic world, such as Atelier B. CLEARSY is the owner of the latter and is responsible for the evolution and maintenance of its development platform. Atelier B is thus a reference for the development of proven software.<\/p>\n<\/div>[\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=&#8221;referencesB&#8221;][vc_column][vc_row_inner][vc_column_inner]<div class=\"image-single-wrapper text-bloc text-center\"><img loading=\"lazy\" decoding=\"async\" width=\"2560\" height=\"2034\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-scaled.jpg\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-scaled.jpg 2560w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-300x238.jpg 300w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-1024x814.jpg 1024w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-768x610.jpg 768w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-1536x1221.jpg 1536w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/carte-monde-complete-2022-HD-2048x1627.jpg 2048w\" sizes=\"auto, (max-width: 2560px) 100vw, 2560px\" \/><\/div>[\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_section full_width=&#8221;stretch_row&#8221; el_id=&#8221;enseignementB&#8221; el_class=&#8221;bg-gris&#8221;][vc_row][vc_column width=&#8221;1\/2&#8243;]<div class=\"image-single-wrapper text-bloc text-center\"><img loading=\"lazy\" decoding=\"async\" width=\"557\" height=\"546\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/02\/enseignement-B.jpg\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/02\/enseignement-B.jpg 557w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/02\/enseignement-B-300x294.jpg 300w\" sizes=\"auto, (max-width: 557px) 100vw, 557px\" \/><\/div>[\/vc_column][vc_column width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><h2 class=\"titre_m-bleu-trait-orange\"><span>SCHOOLS TEACHING B IN FRANCE<\/span><\/h2>\n<\/div><div class=\"spoiler\">\n    <div class=\"spoiler-display\">\n    \u2022 Universit\u00e9 d\u2019Angers<br \/>\n\u2022 Universit\u00e9 de Bordeaux 1<br \/>\n\u2022\u00a0Universit\u00e9 de Belfort<br \/>\n\u2022\u00a0Universit\u00e9 de Compi\u00e8gne<br \/>\n\u2022\u00a0Universit\u00e9 du Havre<br \/>\n\u2022\u00a0Universit\u00e9 de Franche-Comt\u00e9<br \/>\n\u2022\u00a0Universit\u00e9 de la Rochelle<br \/>\n\u2022\u00a0Universit\u00e9 de Limoges<br \/>\n\u2022 Universit\u00e9 de Metz<br \/>\n\u2022 Universit\u00e9 de Montpellier 2<br \/>\n\u2022 Universit\u00e9 de Nancy 1<br \/>\n\u2022\u00a0Universit\u00e9 de Nancy 2<br \/>\n\u2022\u00a0Universit\u00e9 de Nantes<br \/>\n\u2022\u00a0Universit\u00e9 de Paris 12<\/div><div class=\"spoiler-hidden\">\n    \u2022\u00a0Universit\u00e9 de Paris-Sud<br \/>\n\u2022 Universit\u00e9 de Rennes 1<br \/>\n\u2022\u00a0Universit\u00e9 de Toulouse 3<br \/>\n\u2022 Universit\u00e9 de Versailles<br \/>\n\u2022 CNAM IIE d\u2019Evry<br \/>\n\u2022 CNAM de Paris<br \/>\n\u2022 CNAM de Poitiers<br \/>\n\u2022 ECOLE des Mines de Gardanne<br \/>\n\u2022 ECOLE des Mines de Nancy<br \/>\n\u2022 ECOLE Nationale Sup\u00e9rieure d\u2019ing\u00e9nieurs de Bourges<br \/>\n\u2022 ESIAL \u00e0 Villiers les Nancy<br \/>\n\u2022 ENSI Bourges<br \/>\n\u2022 ENSIMAG de Grenoble<br \/>\n\u2022 ENSMA de Poitiers<br \/>\n\u2022 ENSSAT de Rennes<br \/>\n\u2022 Facult\u00e9 des Sciences de Luminy \u00e0 Marseille<br \/>\n\u2022 INP de Grenoble<br \/>\n\u2022 IUT de Nantes<br \/>\n\u2022 SUPELEC d\u2019Evry<br \/>\n\u2022\u00a0CNAM IIE d\u2019Evry<br \/>\n\u2022\u00a0CNAM de Paris<br \/>\n\u2022\u00a0CNAM de Poitiers<br \/>\n\u2022\u00a0ECOLE des Mines de Gardanne<br \/>\n\u2022\u00a0ECOLE des Mines de Nancy<br \/>\n\u2022 ECOLE Nationale Sup\u00e9rieure d\u2019ing\u00e9nieurs de Bourges<br \/>\n\u2022 ESIAL \u00e0 Villiers les Nancy<br \/>\n\u2022\u00a0ENSI Bourges<br \/>\n\u2022\u00a0ENSIMAG de Grenoble<br \/>\n\u2022 ENSMA de Poitiers<br \/>\n\u2022 ENSSAT de Rennes<br \/>\n\u2022 Facult\u00e9 des Sciences de Luminy \u00e0 Marseille<br \/>\n\u2022 INP de Grenoble<br \/>\n\u2022 IUT de Nantes<br \/>\n\u2022 SUPELEC d\u2019Evry<\/div><button class=\"spoiler-bouton\" data-open=\"Voir plus\" data-close=\"Voir moins\" >\nVoir plus<\/button><\/div>[\/vc_column][\/vc_row][\/vc_section][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;Verification&#8221;][vc_column width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><h2 class=\"titre_m-bleu-trait-orange\">FORMAL VERIFICATION OF SPECIFICATIONS<\/h2>\n<\/div><div class=\"text-bloc\"><p style=\"text-align: left;\">With our experience in modelling and our ability to understand and abstract our clients&#8217; needs, we assist operators, manufacturers and clients in the verification of system and software specifications.<\/p>\n<p style=\"text-align: left;\">The B Method is used in combination with other formalisms to help analyse, validate, reorganise and provide the elements that complete the specifications.<\/p>\n<p style=\"text-align: left;\">This technique of system reliability analysis has the particularity of being applicable to all industrial fields. Formal validation is successfully used today in the automotive, banking, space and nuclear fields.<\/p>\n<\/div>[\/vc_column][vc_column width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><h2 class=\"titre_m-bleu-trait-orange\">THE BENEFITS OF FORMAL VERIFICATION<\/h2>\n<\/div><div class=\"text-bloc\"><p><span class=\"couleur_bleu\">THE BENEFITS OF FORMAL SYSTEMS VALIDATION ARE<\/span><br \/>\n&#8211; Faster focus on difficult issues<br \/>\n&#8211; A reliable and justifiable synthesis<br \/>\n&#8211; Direct and precise questioning<br \/>\n&#8211; Evidence of consistency<br \/>\n&#8211; Achievable completeness<br \/>\n&#8211; Removal of unspoken business issues<br \/>\n&#8211; Consideration of functional and dysfunctional aspects.<\/p>\n<p><span class=\"couleur_bleu\">FOR A RETURN ON INVESTMENT THAT CAN BE APPRECIATED IN TERMS OF<\/span><br \/>\n&#8211; Reduction in late failures<br \/>\n&#8211; Gains in validation (improved testability)<br \/>\n&#8211; Faster convergence (quality of implementation)<br \/>\n&#8211; Improved capitalisation of proven software knowledge.<\/p>\n<\/div>[\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221;][vc_column]<div class=\"image-single-wrapper text-bloc text-center\"><img loading=\"lazy\" decoding=\"async\" width=\"2481\" height=\"1441\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet.jpg\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet.jpg 2481w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet-300x174.jpg 300w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet-1024x595.jpg 1024w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet-768x446.jpg 768w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet-1536x892.jpg 1536w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/12\/Formel-cycle-V-complet-2048x1190.jpg 2048w\" sizes=\"auto, (max-width: 2481px) 100vw, 2481px\" \/><\/div>[\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>[vc_row el_class=&#8221;py-3&#8243;][vc_column][\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;methodeB&#8221; el_class=&#8221;bg-gris&#8221;][vc_column][vc_row_inner][vc_column_inner el_class=&#8221;mb-2 mb-md-0&#8243; width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=&#8221;referencesB&#8221;][vc_column][vc_row_inner][vc_column_inner][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_section full_width=&#8221;stretch_row&#8221; el_id=&#8221;enseignementB&#8221; el_class=&#8221;bg-gris&#8221;][vc_row][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row][\/vc_section][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;Verification&#8221;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221;][vc_column][\/vc_column][\/vc_row]<\/p>\n","protected":false},"author":17,"featured_media":0,"parent":16901,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-8878","page","type-page","status-publish","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formal Method - CLEARSY<\/title>\n<meta name=\"description\" content=\"60\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal Method - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"60\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2023-01-18T07:46:48+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/formal-method\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/formal-method\\\/\",\"name\":\"Formal Method - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2020-03-13T10:24:53+00:00\",\"dateModified\":\"2023-01-18T07:46:48+00:00\",\"description\":\"60\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/formal-method\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/formal-method\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/formal-method\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Know How\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal Method\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal Method - CLEARSY","description":"60","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/","og_locale":"en_US","og_type":"article","og_title":"Formal Method - CLEARSY","og_description":"60","og_url":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/","og_site_name":"CLEARSY","article_modified_time":"2023-01-18T07:46:48+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/","url":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/","name":"Formal Method - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-03-13T10:24:53+00:00","dateModified":"2023-01-18T07:46:48+00:00","description":"60","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/know-how\/formal-method\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Know How","item":"https:\/\/www.clearsy.com\/en\/know-how\/"},{"@type":"ListItem","position":3,"name":"Formal Method"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8878","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=8878"}],"version-history":[{"count":18,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8878\/revisions"}],"predecessor-version":[{"id":18821,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8878\/revisions\/18821"}],"up":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/16901"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=8878"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}