{"id":4079,"date":"2020-09-24T06:00:49","date_gmt":"2020-09-24T05:00:49","guid":{"rendered":"https:\/\/www.prover.com\/?p=4079"},"modified":"2025-01-13T13:32:44","modified_gmt":"2025-01-13T12:32:44","slug":"model-based-development-webinar-with-ansys","status":"publish","type":"post","link":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/","title":{"rendered":"Model based development webinar with Ansys"},"content":{"rendered":"

Study our recorded webinar with Ansys<\/h4>\n

Together with Ansys, we held a webinar on Formal Verification for Model-Based Development<\/em>. Prover supplies the model checker PSL<\/a>, which powers Ansys new SCADE Suite Design Verifier. It provides the new Design Verifier with a great leap in performance and enables state-of-the-art formal verification of SCADE-models, including IEEE 754 floating point arithmetic.<\/p>\n

The new Design Verifier also allows to optionally add EN50128\/ISO26262 approved verification using Prover Certifier. These and other exciting features are presented in the webinar.<\/p>\n

If you are interested in model-based development in SCADE and want to know more about all the possibilities introduced by the new Design Verifier, be sure not to miss the joint webinar with Ansys presenting the new SCADE Suite Design Verifier. The recorded webinar is hosted by Ansys and you can watch it by registering here<\/a>.<\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover […]<\/p>\n","protected":false},"author":20,"featured_media":14394,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[164],"tags":[],"class_list":["post-4079","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-webinar"],"yoast_head":"\nModel based development webinar with Ansys - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Our model checker PSL powers Ansys new SCADE Suite Design Verifier. Together we did a webinar on model-based development.\" \/>\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\/webinar\/model-based-development-webinar-with-ansys\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Model based development webinar with Ansys - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Our model checker PSL powers Ansys new SCADE Suite Design Verifier. Together we did a webinar on model-based development.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2020-09-24T05:00:49+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T12:32:44+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.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\/jpeg\" \/>\n<meta name=\"author\" content=\"Olav Bandmann\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Olav Bandmann\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/\"},\"author\":{\"name\":\"Olav Bandmann\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/5b0b504a4a20db66bd813c00afce129c\"},\"headline\":\"Model based development webinar with Ansys\",\"datePublished\":\"2020-09-24T05:00:49+00:00\",\"dateModified\":\"2025-01-13T12:32:44+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/\"},\"wordCount\":146,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp\",\"articleSection\":[\"Webinar\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/\",\"url\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/\",\"name\":\"Model based development webinar with Ansys - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp\",\"datePublished\":\"2020-09-24T05:00:49+00:00\",\"dateModified\":\"2025-01-13T12:32:44+00:00\",\"description\":\"Our model checker PSL powers Ansys new SCADE Suite Design Verifier. Together we did a webinar on model-based development.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp\",\"width\":1200,\"height\":675,\"caption\":\"Model Based Development Webinar with Ansys\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Webinar\",\"item\":\"https:\/\/www.prover.com\/categories\/webinar\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Model based development webinar with Ansys\"}]},{\"@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\/5b0b504a4a20db66bd813c00afce129c\",\"name\":\"Olav Bandmann\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/9929e4c9e95d03a0c15ad1c570bb198ad4b9098639e4fabe6b37be5cd9c95a85?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/9929e4c9e95d03a0c15ad1c570bb198ad4b9098639e4fabe6b37be5cd9c95a85?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/9929e4c9e95d03a0c15ad1c570bb198ad4b9098639e4fabe6b37be5cd9c95a85?s=96&d=mm&r=g\",\"caption\":\"Olav Bandmann\"},\"url\":\"https:\/\/www.prover.com\/author\/olav-bandmann\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Model based development webinar with Ansys - Prover - Engineering a Safer World","description":"Our model checker PSL powers Ansys new SCADE Suite Design Verifier. Together we did a webinar on model-based development.","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\/webinar\/model-based-development-webinar-with-ansys\/","og_locale":"en_US","og_type":"article","og_title":"Model based development webinar with Ansys - Prover - Engineering a Safer World","og_description":"Our model checker PSL powers Ansys new SCADE Suite Design Verifier. Together we did a webinar on model-based development.","og_url":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2020-09-24T05:00:49+00:00","article_modified_time":"2025-01-13T12:32:44+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp","type":"image\/jpeg"}],"author":"Olav Bandmann","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Olav Bandmann","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/"},"author":{"name":"Olav Bandmann","@id":"https:\/\/prover.com\/#\/schema\/person\/5b0b504a4a20db66bd813c00afce129c"},"headline":"Model based development webinar with Ansys","datePublished":"2020-09-24T05:00:49+00:00","dateModified":"2025-01-13T12:32:44+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/"},"wordCount":146,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp","articleSection":["Webinar"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/","url":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/","name":"Model based development webinar with Ansys - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp","datePublished":"2020-09-24T05:00:49+00:00","dateModified":"2025-01-13T12:32:44+00:00","description":"Our model checker PSL powers Ansys new SCADE Suite Design Verifier. Together we did a webinar on model-based development.","breadcrumb":{"@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/09\/Model-Based-Development-Webinar-with-Ansys-jpg.webp","width":1200,"height":675,"caption":"Model Based Development Webinar with Ansys"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/webinar\/model-based-development-webinar-with-ansys\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Webinar","item":"https:\/\/www.prover.com\/categories\/webinar\/"},{"@type":"ListItem","position":3,"name":"Model based development webinar with Ansys"}]},{"@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\/5b0b504a4a20db66bd813c00afce129c","name":"Olav Bandmann","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/9929e4c9e95d03a0c15ad1c570bb198ad4b9098639e4fabe6b37be5cd9c95a85?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/9929e4c9e95d03a0c15ad1c570bb198ad4b9098639e4fabe6b37be5cd9c95a85?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/9929e4c9e95d03a0c15ad1c570bb198ad4b9098639e4fabe6b37be5cd9c95a85?s=96&d=mm&r=g","caption":"Olav Bandmann"},"url":"https:\/\/www.prover.com\/author\/olav-bandmann\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/4079","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\/20"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=4079"}],"version-history":[{"count":5,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/4079\/revisions"}],"predecessor-version":[{"id":20978,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/4079\/revisions\/20978"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14394"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=4079"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=4079"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=4079"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}