{"id":12068,"date":"2023-04-04T15:28:12","date_gmt":"2023-04-04T14:28:12","guid":{"rendered":"https:\/\/stage.prover.com\/?p=12068"},"modified":"2025-01-13T14:42:52","modified_gmt":"2025-01-13T13:42:52","slug":"cut-on-site-testing-time-by-up-to-50-using-formal-verification","status":"publish","type":"post","link":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/","title":{"rendered":"Cut on-site testing time by up to 50% using formal verification"},"content":{"rendered":"

In the space between system development and deployment, there are a number of inconvenient and costly delays that can occur in a typical rail control project. Many of which can be attributed to the necessary phase of on-site testing.<\/p>\n

Perhaps most challenging are so-called brownfield projects, where a system upgrade must be implemented on a line that is already in operation. Carrying out on-site testing under this circumstance impacts traffic operations and requires a ton of procedures, people, and administrative steps. In some cases, the on-site tests are even risky from a safety perspective.<\/p>\n

Thankfully, there is a solution suppliers and infrastructure managers can implement to keep testing-related deployment delays to a minimum. Formal verification ensures that more potential failures are identified earlier in the system development process and, as a result, significantly reduces the amount of time required for on-site testing.<\/p>\n

Keep reading to learn more about formal verification, and how it can help reduce on-site testing time by up to 50%.<\/p>\n

What is formal verification?<\/h2>\n

Formal methods have been used in production for rail control for over twenty years. At Prover, our way of applying formal methods is through a set of automation tools and processes called Signaling Design Automation (SDA), which we use to enable the development of specifications, digital twins, and actual systems. The basic idea is that SDA instantiates the generic principles for a particular configuration and produces the system\u2019s design and software code. SDA also performs safety verification to produce safety evidence and automated testing to create a test report\u2014 this is where Formal Verification comes in.<\/p>\n

Formal verification is a technique for checking that systems fulfill selected properties with 100% certainty. It is part of our SDA process, where formal methods are applied at three levels:<\/p>\n

Formal specification: Formalizes system requirements by expressing them in a formal language with a precise and unambiguously defined syntax and semantics.<\/p>\n

Formal development: Utilizes formal methods as an integrated part of a tool-supported system development process\u2013 this is where you write your system using formal methods.<\/p>\n

> Formal verification:<\/span><\/strong> Utilizes a software tool to prove properties of a formal specification, or that a formal model (aka digital twin) of a system implementation satisfies its specification.<\/p>\n

While it is most advantageous to use all levels of the SDA process, it is not necessary. Formal Verification can be applied to any system post-development to ensure a more complete verification.<\/p>\n

Formal verification helps you build a safer system<\/h3>\n

In 2015, a TGV train derailed in France<\/a> while safety tests were being performed in preparation for opening the high-speed line for commercial service. As the train accelerated beyond speed limits, the system failed to react effectively and activate speed control. The accident cost 11 lives and injured 42 others in what would become known as the most fatal derailment in the history of the TGV. This example is a reminder of how dangerous on-site testing can be.<\/p>\n

The truth is that traditional testing methods for big systems can never reach full coverage, and certain scenarios cannot be reproduced easily in the field. However, by using Formal verification with a formal model of the system, all scenarios\u2014both possible and the seemingly impossible\u2014can be exhaustively explored, thereby reducing the need for dangerous tests to be run in real life. Due to the vast number of combinations tested, Formal Verification provides full certainty. It uses a mathematical argument without gaps.<\/p>\n

For examples of how Formal verification has been used to detect critical safety issues that would have otherwise been overlooked, we recommend reading “3 scenarios where formal verification caught errors missed by traditional rail control system tests.”<\/a><\/p>\n

Formal verification drastically reduces on-site testing time<\/h3>\n

Formal verification not only helps improve the safety and quality of systems, but it addresses the prevailing need among system suppliers and infrastructure managers to reduce testing and commissioning time. Through our experience supporting numerous rail control projects over the years, we\u2019ve seen an average time reduction ranging from 30 to 50%.<\/p>\n

Such a drastic reduction can be attributed to formal verification\u2019s ability to identify safety or functional issues through its larger coverage. Because a lot of tests are covered with Formal Verification, bugs and issues are discovered much earlier in the life cycle\u2013 already before going into the field for testing. In the big picture of the project timeline, the gap between system development and actual deployment becomes a lot smaller.<\/p>\n

If you would like to learn more about formal verification and how it can help you build safer and more quality systems with minimal on-site testing, we invite you to read about our line of formal verification products<\/a>. Ready to discuss how formal verification can be applied to your specific rail control project? Feel free to book a meeting with us<\/a>.<\/p>\n<\/div><\/div><\/div><\/div><\/div>

<\/span><\/div><\/div><\/div>
\n

How safe and efficient are your rail control systems? Let\u2019s find out!<\/a><\/u><\/h4>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"

Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!<\/p>\n","protected":false},"author":27,"featured_media":14529,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[154],"tags":[],"class_list":["post-12068","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-verification-validation"],"yoast_head":"\nCut on-site testing time by up to 50% using formal verification - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!\" \/>\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.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Cut on-site testing time by up to 50% using formal verification - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2023-04-04T14:28:12+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T13:42:52+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1201\" \/>\n\t<meta property=\"og:image:height\" content=\"677\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Abderrahmane Feliachi\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Abderrahmane Feliachi\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\"},\"author\":{\"name\":\"Abderrahmane Feliachi\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8288a04fad1a58c7e383657158838caa\"},\"headline\":\"Cut on-site testing time by up to 50% using formal verification\",\"datePublished\":\"2023-04-04T14:28:12+00:00\",\"dateModified\":\"2025-01-13T13:42:52+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\"},\"wordCount\":998,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp\",\"articleSection\":[\"Verification & validation\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\",\"url\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\",\"name\":\"Cut on-site testing time by up to 50% using formal verification - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp\",\"datePublished\":\"2023-04-04T14:28:12+00:00\",\"dateModified\":\"2025-01-13T13:42:52+00:00\",\"description\":\"Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp\",\"width\":1201,\"height\":677,\"caption\":\"Cut on-site testing time by up to 50% using formal verification\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Verification & validation\",\"item\":\"https:\/\/www.prover.com\/categories\/verification-validation\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Cut on-site testing time by up to 50% using formal verification\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8288a04fad1a58c7e383657158838caa\",\"name\":\"Abderrahmane Feliachi\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/db813f7e3fd27ce7f3ab29fad3e5fe90182b075f924755b1682203482fa88e7f?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/db813f7e3fd27ce7f3ab29fad3e5fe90182b075f924755b1682203482fa88e7f?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/db813f7e3fd27ce7f3ab29fad3e5fe90182b075f924755b1682203482fa88e7f?s=96&d=mm&r=g\",\"caption\":\"Abderrahmane Feliachi\"},\"url\":\"https:\/\/www.prover.com\/author\/abderrahmane-feliachiprover-com\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Cut on-site testing time by up to 50% using formal verification - Prover - Engineering a Safer World","description":"Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!","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.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/","og_locale":"en_US","og_type":"article","og_title":"Cut on-site testing time by up to 50% using formal verification - Prover - Engineering a Safer World","og_description":"Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!","og_url":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2023-04-04T14:28:12+00:00","article_modified_time":"2025-01-13T13:42:52+00:00","og_image":[{"width":1201,"height":677,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp","type":"image\/jpeg"}],"author":"Abderrahmane Feliachi","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Abderrahmane Feliachi","Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/"},"author":{"name":"Abderrahmane Feliachi","@id":"https:\/\/prover.com\/#\/schema\/person\/8288a04fad1a58c7e383657158838caa"},"headline":"Cut on-site testing time by up to 50% using formal verification","datePublished":"2023-04-04T14:28:12+00:00","dateModified":"2025-01-13T13:42:52+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/"},"wordCount":998,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp","articleSection":["Verification & validation"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/","url":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/","name":"Cut on-site testing time by up to 50% using formal verification - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp","datePublished":"2023-04-04T14:28:12+00:00","dateModified":"2025-01-13T13:42:52+00:00","description":"Learn how to cut on-site testing time by up to 50% in rail control projects, using formal verification, read the full blog!","breadcrumb":{"@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Cut-on-site-testing-time-by-up-to-50-using-Formal-Verification-3-jpg.webp","width":1201,"height":677,"caption":"Cut on-site testing time by up to 50% using formal verification"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/verification-validation\/cut-on-site-testing-time-by-up-to-50-using-formal-verification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Verification & validation","item":"https:\/\/www.prover.com\/categories\/verification-validation\/"},{"@type":"ListItem","position":3,"name":"Cut on-site testing time by up to 50% using formal verification"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/8288a04fad1a58c7e383657158838caa","name":"Abderrahmane Feliachi","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/db813f7e3fd27ce7f3ab29fad3e5fe90182b075f924755b1682203482fa88e7f?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/db813f7e3fd27ce7f3ab29fad3e5fe90182b075f924755b1682203482fa88e7f?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/db813f7e3fd27ce7f3ab29fad3e5fe90182b075f924755b1682203482fa88e7f?s=96&d=mm&r=g","caption":"Abderrahmane Feliachi"},"url":"https:\/\/www.prover.com\/author\/abderrahmane-feliachiprover-com\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/12068","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=12068"}],"version-history":[{"count":8,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/12068\/revisions"}],"predecessor-version":[{"id":20741,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/12068\/revisions\/20741"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14529"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=12068"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=12068"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=12068"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}