{"id":19274,"date":"2024-05-28T14:55:35","date_gmt":"2024-05-28T13:55:35","guid":{"rendered":"https:\/\/www.prover.com\/?p=19274"},"modified":"2025-01-13T14:56:40","modified_gmt":"2025-01-13T13:56:40","slug":"prover-psl-5-8-released","status":"publish","type":"post","link":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/","title":{"rendered":"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance"},"content":{"rendered":"

Experience the power of strategy fusion!<\/h3>\n

Prover PSL 5.8<\/a> introduces strategy fusion, a game-changing feature that allows you to fuse multiple model-checking strategies into one (patent pending). No longer will you need to choose between strategies; strategy fusion blends the strengths of each by running them in parallel, letting them tackle assigned problems effectively as a team. And they become stronger together!<\/p>\n

For new users: simplicity meets performance<\/h4>\n

We\u2019ve crafted a powerful default strategy using Strategy Fusion, perfect for those new to Prover PSL. You don\u2019t need to be an expert in strategy craftsmanship to get started. Simply run Prover PSL without specifying any strategy, and the default will handle most tasks with ease.<\/p>\n

For experienced users: enhanced performance<\/h4>\n

Seasoned users will notice significant performance boosts in both SAT solving and advanced model checking. Prover PSL continues to deliver the best model-checking performance on the market.<\/p>\n

Upgrade to Prover PSL 5.8<\/a> today and experience model checking with strategy fusion!<\/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":"

In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.<\/p>\n","protected":false},"author":17,"featured_media":19291,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159,156],"tags":[],"class_list":["post-19274","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","category-modeling"],"yoast_head":"\nProver PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.\" \/>\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\/modeling\/prover-psl-5-8-released\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2024-05-28T13:55:35+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T13:56:40+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1746\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Jesper Carlstr\u00f6m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jesper Carlstr\u00f6m\" \/>\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\/modeling\/prover-psl-5-8-released\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/\"},\"author\":{\"name\":\"Jesper Carlstr\u00f6m\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\"},\"headline\":\"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance\",\"datePublished\":\"2024-05-28T13:55:35+00:00\",\"dateModified\":\"2025-01-13T13:56:40+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/\"},\"wordCount\":367,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg\",\"articleSection\":[\"Company news\",\"Modeling\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/\",\"url\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/\",\"name\":\"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg\",\"datePublished\":\"2024-05-28T13:55:35+00:00\",\"dateModified\":\"2025-01-13T13:56:40+00:00\",\"description\":\"In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg\",\"width\":2560,\"height\":1746},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Modeling\",\"item\":\"https:\/\/www.prover.com\/categories\/modeling\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance\"}]},{\"@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\/d253e765d1d293a31d5709b3ad676cbb\",\"name\":\"Jesper Carlstr\u00f6m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"caption\":\"Jesper Carlstr\u00f6m\"},\"url\":\"https:\/\/www.prover.com\/author\/jesper-carlstrom\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance - Prover - Engineering a Safer World","description":"In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.","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\/modeling\/prover-psl-5-8-released\/","og_locale":"en_US","og_type":"article","og_title":"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance - Prover - Engineering a Safer World","og_description":"In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.","og_url":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2024-05-28T13:55:35+00:00","article_modified_time":"2025-01-13T13:56:40+00:00","og_image":[{"width":2560,"height":1746,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg","type":"image\/jpeg"}],"author":"Jesper Carlstr\u00f6m","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Jesper Carlstr\u00f6m","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/"},"author":{"name":"Jesper Carlstr\u00f6m","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb"},"headline":"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance","datePublished":"2024-05-28T13:55:35+00:00","dateModified":"2025-01-13T13:56:40+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/"},"wordCount":367,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg","articleSection":["Company news","Modeling"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/","url":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/","name":"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg","datePublished":"2024-05-28T13:55:35+00:00","dateModified":"2025-01-13T13:56:40+00:00","description":"In this blog post, we talk about the release of Prover PSL 5.8 \u2013 Now featuring strategy fusion for unmatched performance.","breadcrumb":{"@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/AdobeStock_166930353-scaled.jpeg","width":2560,"height":1746},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/modeling\/prover-psl-5-8-released\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Modeling","item":"https:\/\/www.prover.com\/categories\/modeling\/"},{"@type":"ListItem","position":3,"name":"Prover PSL 5.8 released \u2013 Now featuring strategy fusion for unmatched performance"}]},{"@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\/d253e765d1d293a31d5709b3ad676cbb","name":"Jesper Carlstr\u00f6m","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","caption":"Jesper Carlstr\u00f6m"},"url":"https:\/\/www.prover.com\/author\/jesper-carlstrom\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19274","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\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=19274"}],"version-history":[{"count":9,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19274\/revisions"}],"predecessor-version":[{"id":21005,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19274\/revisions\/21005"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/19291"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=19274"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=19274"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=19274"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}