{"id":21227,"date":"2025-03-30T15:35:09","date_gmt":"2025-03-30T14:35:09","guid":{"rendered":"https:\/\/www.prover.com\/?p=21227"},"modified":"2025-04-09T09:20:49","modified_gmt":"2025-04-09T08:20:49","slug":"prover-psl-6-0-released-unlocking-advanced-proof-capabilities","status":"publish","type":"post","link":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/","title":{"rendered":"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features"},"content":{"rendered":"<p><span data-contrast=\"auto\">We are excited to announce the release of <a href=\"https:\/\/www.prover.com\/products\/prover-psl\/\"><strong>Prover PSL 6.0<\/strong><\/a>, bringing powerful new capabilities to streamline your verification workflow and enhance proof efficiency. This latest version introduces advanced debugging capabilities and new proof coverage features \u2014 designed to tackle even the most demanding verification challenges.<\/span><span data-ccp-props=\"{}\">\u00a0<\/span><\/p>\n<h3 aria-level=\"2\"><span data-contrast=\"none\">What is new in Prover PSL 6.0?<\/span><span data-ccp-props=\"{&quot;134245418&quot;:true,&quot;134245529&quot;:true,&quot;335559738&quot;:160,&quot;335559739&quot;:80}\">\u00a0<\/span><\/h3>\n<h4 aria-level=\"3\"><span data-contrast=\"none\">Reachability obligations \u2013 a new way to strengthen verification<\/span><span data-ccp-props=\"{&quot;134245418&quot;:true,&quot;134245529&quot;:true,&quot;335559738&quot;:160,&quot;335559739&quot;:80}\">\u00a0<\/span><\/h4>\n<p><span data-contrast=\"auto\">Prover PSL 6.0 introduces reachability obligations, a new type of verification check that complements traditional proof obligations. This feature allows you to verify whether specific states can be reached in your model, helping to refine system validation and efficiently identify edge cases. <\/span><i><span data-contrast=\"auto\">(Requires an add-on)<\/span><\/i><span data-ccp-props=\"{}\">\u00a0<\/span><\/p>\n<h4 aria-level=\"3\"><span data-contrast=\"none\">HLL and sHLL simulation in Why tool<\/span><span data-ccp-props=\"{&quot;134245418&quot;:true,&quot;134245529&quot;:true,&quot;335559738&quot;:160,&quot;335559739&quot;:80}\">\u00a0<\/span><\/h4>\n<p><span data-contrast=\"auto\">Now, you can simulate HLL and sHLL models directly in the Why Tool. This integration enables step-by-step execution, making it easier to debug, analyze counterexamples, and validate expected behaviors<\/span> <span data-contrast=\"auto\">\u2014<\/span> <span data-contrast=\"auto\">all within a unified environment. <\/span><i><span data-contrast=\"auto\">(Requires an add-on)<\/span><\/i><span data-ccp-props=\"{}\">\u00a0<\/span><\/p>\n<h4 aria-level=\"3\"><span data-contrast=\"none\">Enhanced proof analysis with coverage and profiling<\/span><span data-ccp-props=\"{&quot;134245418&quot;:true,&quot;134245529&quot;:true,&quot;335559738&quot;:160,&quot;335559739&quot;:80}\">\u00a0<\/span><\/h4>\n<p><span data-contrast=\"auto\">Prover PSL 6.0 introduces two new analysis options for greater proof transparency:<\/span><span data-ccp-props=\"{}\">\u00a0<\/span><\/p>\n<ul>\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"1\" data-list-defn-props=\"{&quot;335552541&quot;:1,&quot;335559685&quot;:720,&quot;335559991&quot;:360,&quot;469769226&quot;:&quot;Symbol&quot;,&quot;469769242&quot;:[8226],&quot;469777803&quot;:&quot;left&quot;,&quot;469777804&quot;:&quot;\uf0b7&quot;,&quot;469777815&quot;:&quot;multilevel&quot;}\" aria-setsize=\"-1\" data-aria-posinset=\"1\" data-aria-level=\"1\"><span data-contrast=\"auto\">A proof coverage analysis to identify which parts of your model are covered during verification, allowing you to optimize proof efficiency.<\/span><span data-ccp-props=\"{}\">\u00a0<\/span><\/li>\n<\/ul>\n<ul>\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"1\" data-list-defn-props=\"{&quot;335552541&quot;:1,&quot;335559685&quot;:720,&quot;335559991&quot;:360,&quot;469769226&quot;:&quot;Symbol&quot;,&quot;469769242&quot;:[8226],&quot;469777803&quot;:&quot;left&quot;,&quot;469777804&quot;:&quot;\uf0b7&quot;,&quot;469777815&quot;:&quot;multilevel&quot;}\" aria-setsize=\"-1\" data-aria-posinset=\"2\" data-aria-level=\"1\"><span data-contrast=\"auto\">A profiling and performance optimization<\/span> <span data-contrast=\"auto\">feature to<\/span> <span data-contrast=\"auto\">gain insights into computational bottlenecks by tracking solver workload distribution.<\/span><span data-ccp-props=\"{}\">\u00a0<\/span><\/li>\n<\/ul>\n<h4 aria-level=\"3\"><span data-contrast=\"none\">Greater flexibility with -move for softening constraints<\/span><span data-ccp-props=\"{&quot;134245418&quot;:true,&quot;134245529&quot;:true,&quot;335559738&quot;:160,&quot;335559739&quot;:80}\">\u00a0<\/span><\/h4>\n<p><span data-contrast=\"auto\">A new<\/span> <span data-contrast=\"auto\">command-line switch allows you to dynamically move constraints, proof obligations, and other model elements between different HLL sections. This flexibility helps refine proof strategies and understanding of your model without modifying the core model structure.<\/span><span data-ccp-props=\"{}\">\u00a0<\/span><\/p>\n<p><span data-contrast=\"auto\">With Prover PSL 6.0, you gain enhanced debugging, deeper proof coverage insights, and improved solver performance\u2014all designed to push your formal verification process to the next level.<\/span><span data-ccp-props=\"{}\">\u00a0<\/span><\/p>\n<p><span data-contrast=\"auto\">Upgrade to<a href=\"https:\/\/www.prover.com\/products\/prover-psl\/\"><strong> Prover PSL 6.0<\/strong><\/a> today and elevate your formal verification process!<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Discover what&#8217;s new in Prover PSL 6.0 \u2014 from reachability obligations and integrated HLL simulation to advanced proof coverage and performance profiling. Designed to streamline formal verification and boost proof efficiency.<\/p>\n","protected":false},"author":22,"featured_media":21517,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[158],"tags":[],"class_list":["post-21227","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-software-development"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Explore what&#039;s new in Prover PSL 6.0 \u2014 reachability checks, HLL simulation, proof coverage, and performance profiling to streamline formal verification.\" \/>\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\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Explore what&#039;s new in Prover PSL 6.0 \u2014 reachability checks, HLL simulation, proof coverage, and performance profiling to streamline formal verification.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2025-03-30T14:35:09+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-04-09T08:20:49+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1707\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Nicolas Aucouturier\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Nicolas Aucouturier\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\"},\"author\":{\"name\":\"Nicolas Aucouturier\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432\"},\"headline\":\"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features\",\"datePublished\":\"2025-03-30T14:35:09+00:00\",\"dateModified\":\"2025-04-09T08:20:49+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\"},\"wordCount\":298,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg\",\"articleSection\":[\"Software development\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\",\"url\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\",\"name\":\"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg\",\"datePublished\":\"2025-03-30T14:35:09+00:00\",\"dateModified\":\"2025-04-09T08:20:49+00:00\",\"description\":\"Explore what's new in Prover PSL 6.0 \u2014 reachability checks, HLL simulation, proof coverage, and performance profiling to streamline formal verification.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg\",\"width\":2560,\"height\":1707,\"caption\":\"Prover PSL 6.0 released\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Software development\",\"item\":\"https:\/\/www.prover.com\/categories\/software-development\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features\"}]},{\"@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\/d4edf72fdc7180b78343f79ad33db432\",\"name\":\"Nicolas Aucouturier\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g\",\"caption\":\"Nicolas Aucouturier\"},\"url\":\"https:\/\/www.prover.com\/author\/nicolas\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features - Prover - Engineering a Safer World","description":"Explore what's new in Prover PSL 6.0 \u2014 reachability checks, HLL simulation, proof coverage, and performance profiling to streamline formal verification.","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\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/","og_locale":"en_US","og_type":"article","og_title":"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features - Prover - Engineering a Safer World","og_description":"Explore what's new in Prover PSL 6.0 \u2014 reachability checks, HLL simulation, proof coverage, and performance profiling to streamline formal verification.","og_url":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2025-03-30T14:35:09+00:00","article_modified_time":"2025-04-09T08:20:49+00:00","og_image":[{"width":2560,"height":1707,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg","type":"image\/jpeg"}],"author":"Nicolas Aucouturier","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Nicolas Aucouturier","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/"},"author":{"name":"Nicolas Aucouturier","@id":"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432"},"headline":"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features","datePublished":"2025-03-30T14:35:09+00:00","dateModified":"2025-04-09T08:20:49+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/"},"wordCount":298,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg","articleSection":["Software development"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/","url":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/","name":"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg","datePublished":"2025-03-30T14:35:09+00:00","dateModified":"2025-04-09T08:20:49+00:00","description":"Explore what's new in Prover PSL 6.0 \u2014 reachability checks, HLL simulation, proof coverage, and performance profiling to streamline formal verification.","breadcrumb":{"@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/03\/pexels-ahmetyuksek-29726453-scaled.jpg","width":2560,"height":1707,"caption":"Prover PSL 6.0 released"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/software-development\/prover-psl-6-0-released-unlocking-advanced-proof-capabilities\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Software development","item":"https:\/\/www.prover.com\/categories\/software-development\/"},{"@type":"ListItem","position":3,"name":"Prover PSL 6.0 released \u2013 Reachability obligations along with HLL and sHLL simulations are new features"}]},{"@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\/d4edf72fdc7180b78343f79ad33db432","name":"Nicolas Aucouturier","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g","caption":"Nicolas Aucouturier"},"url":"https:\/\/www.prover.com\/author\/nicolas\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21227","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\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=21227"}],"version-history":[{"count":14,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21227\/revisions"}],"predecessor-version":[{"id":21624,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21227\/revisions\/21624"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/21517"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=21227"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=21227"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=21227"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}