{"id":3589,"date":"2019-09-26T15:58:44","date_gmt":"2019-09-26T14:58:44","guid":{"rendered":"https:\/\/www.prover.com\/?p=3589"},"modified":"2025-01-07T16:06:50","modified_gmt":"2025-01-07T15:06:50","slug":"prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/","title":{"rendered":"Prover to attend World Congress on formal methods in Porto, Portugal from October 7th to 11th."},"content":{"rendered":"

We will present our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods<\/a>.<\/p>\n

Prover SL CE (PSL) is a state-of-the-art SAT-based model checker, and the result of Prover\u2019s 30-year-long experience in applying formal verification in industry. PSL is used around the world on large industrial models to certify the safety of mission-critical systems, especially in the railway domain.<\/p>\n

Our newest multi-core support (Turbo-threading) allows PSL to handle even larger systems and provides impressive speed-ups. Recently, we have added support for IEEE754 floating point. We are also working on using AI (artificial intelligence) techniques to adapt PSL\u2019s search strategy to specific problems, and we have already obtained significant performance gains that add up to what is delivered by turbo-threading.<\/p>\n

Prover Certifier<\/a> is a solution built on top of PSL, based on diversification and equivalence checking, that can produce complete safety evidence for CENELEC EN50128 SIL 4 certification using formal verification. Prover Certifier has been used in many successful applications around the world; as a standalone solution or linked to our interlocking design automation solution Prover Trident<\/a>.<\/p>\n

The main input to both PSL and Prover Certifier is an HLL model. HLL<\/a> is itself a declarative, stream-based language, suitable for modeling and expressing temporal properties of discrete-time sequential systems. HLL is becoming an open industry standard.<\/p>\n

We hope to see you there!<\/p>\n","protected":false},"excerpt":{"rendered":"

We will present our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of […]<\/p>\n","protected":false},"author":45,"featured_media":14931,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[],"class_list":["post-3589","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events"],"yoast_head":"\nWorld Congress on formal methods in Porto, Portugal<\/title>\n<meta name=\"description\" content=\"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.\" \/>\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\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"World Congress on Formal Methods in Porto, Portugal | Prover\" \/>\n<meta property=\"og:description\" content=\"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2019-09-26T14:58:44+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T15:06:50+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"675\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"author\" content=\"Amanda \u00d6berg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"World Congress on Formal Methods in Porto, Portugal | Prover\" \/>\n<meta name=\"twitter:description\" content=\"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Amanda \u00d6berg\" \/>\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\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"Prover to attend World Congress on formal methods in Porto, Portugal from October 7th to 11th.\",\"datePublished\":\"2019-09-26T14:58:44+00:00\",\"dateModified\":\"2025-01-07T15:06:50+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\"},\"wordCount\":245,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\",\"url\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\",\"name\":\"World Congress on formal methods in Porto, Portugal\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"datePublished\":\"2019-09-26T14:58:44+00:00\",\"dateModified\":\"2025-01-07T15:06:50+00:00\",\"description\":\"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"width\":1200,\"height\":675,\"caption\":\"Prover\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/www.prover.com\/categories\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover to attend World Congress on formal methods in Porto, Portugal from October 7th to 11th.\"}]},{\"@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\/b0b8ffdd4d56121bab43fd87530c42b2\",\"name\":\"Amanda \u00d6berg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"caption\":\"Amanda \u00d6berg\"},\"url\":\"https:\/\/www.prover.com\/author\/amanda-oberg\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"World Congress on formal methods in Porto, Portugal","description":"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.","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\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/","og_locale":"en_US","og_type":"article","og_title":"World Congress on Formal Methods in Porto, Portugal | Prover","og_description":"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.","og_url":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2019-09-26T14:58:44+00:00","article_modified_time":"2025-01-07T15:06:50+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","type":"image\/webp"}],"author":"Amanda \u00d6berg","twitter_card":"summary_large_image","twitter_title":"World Congress on Formal Methods in Porto, Portugal | Prover","twitter_description":"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.","twitter_misc":{"Written by":"Amanda \u00d6berg","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"Prover to attend World Congress on formal methods in Porto, Portugal from October 7th to 11th.","datePublished":"2019-09-26T14:58:44+00:00","dateModified":"2025-01-07T15:06:50+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/"},"wordCount":245,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/","url":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/","name":"World Congress on formal methods in Porto, Portugal","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","datePublished":"2019-09-26T14:58:44+00:00","dateModified":"2025-01-07T15:06:50+00:00","description":"We have presented our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods.","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","width":1200,"height":675,"caption":"Prover"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/prover-to-attend-world-congress-on-formal-methods-in-porto-portugal-from-october-7th-to-11th\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/www.prover.com\/categories\/events\/"},{"@type":"ListItem","position":3,"name":"Prover to attend World Congress on formal methods in Porto, Portugal from October 7th to 11th."}]},{"@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\/b0b8ffdd4d56121bab43fd87530c42b2","name":"Amanda \u00d6berg","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","caption":"Amanda \u00d6berg"},"url":"https:\/\/www.prover.com\/author\/amanda-oberg\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3589","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=3589"}],"version-history":[{"count":2,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3589\/revisions"}],"predecessor-version":[{"id":20670,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3589\/revisions\/20670"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14931"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=3589"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=3589"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=3589"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}