{"id":6415,"date":"2023-03-09T09:56:04","date_gmt":"2023-03-09T08:56:04","guid":{"rendered":"https:\/\/www.prover.com\/?p=6415"},"modified":"2025-05-19T09:15:17","modified_gmt":"2025-05-19T08:15:17","slug":"prover-studio-now-supports-hll","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/","title":{"rendered":"Prover Studio now supports HLL"},"content":{"rendered":"

Prover Studio 2 with HLL support has been released! Prover Studio was launched (https:\/\/www.prover.com\/product-news\/introducing-prover-studio\/<\/a>) as an integrated development environment for Prover SDA software suite (formerly known as Prover Trident). Prover Studio now joins our family of tools that support HLL. <\/span><\/span> <\/span><\/u><\/u><\/p>\n

With the new version, you will be able to read, write, and navigate HLL and sHLL models and safety properties. Prover Studio will help you to avoid syntax errors and semantic errors, by giving you help while you type. It will also allow you to find definitions and usages of variables.<\/span><\/span> <\/span><\/u><\/u><\/p>\n

We will make continuous improvements of Prover Studio, based on your feedback to us. So do not hesitate to contact us.<\/span><\/span> <\/span><\/u><\/u><\/p>\n

Prover Studio is available on the marketplace for extensions for Visual Studio Code, or as a download from Prover.<\/span><\/span> <\/span><\/p>\n

Download here<\/a><\/p>\n<\/div>

<\/div><\/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":"

Prover Studio 2 with HLL support has been released!<\/p>\n","protected":false},"author":22,"featured_media":14315,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159],"tags":[],"class_list":["post-6415","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news"],"yoast_head":"\nProver Studio now supports HLL - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover Studio 2 with HLL support has been released!\" \/>\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\/company-news\/prover-studio-now-supports-hll\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover Studio now supports HLL - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover Studio 2 with HLL support has been released!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2023-03-09T08:56:04+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T08:15:17+00:00\" \/>\n<meta name=\"author\" content=\"Nicolas Aucouturier\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp\" \/>\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\/company-news\/prover-studio-now-supports-hll\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/\"},\"author\":{\"name\":\"Nicolas Aucouturier\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432\"},\"headline\":\"Prover Studio now supports HLL\",\"datePublished\":\"2023-03-09T08:56:04+00:00\",\"dateModified\":\"2025-05-19T08:15:17+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/\"},\"wordCount\":522,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp\",\"articleSection\":[\"Company news\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/\",\"name\":\"Prover Studio now supports HLL - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp\",\"datePublished\":\"2023-03-09T08:56:04+00:00\",\"dateModified\":\"2025-05-19T08:15:17+00:00\",\"description\":\"Prover Studio 2 with HLL support has been released!\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp\",\"width\":2500,\"height\":1067,\"caption\":\"Prover Studio now supports HLL\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Company news\",\"item\":\"https:\/\/www.prover.com\/categories\/company-news\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover Studio now supports HLL\"}]},{\"@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 Studio now supports HLL - Prover - Engineering a Safer World","description":"Prover Studio 2 with HLL support has been released!","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\/company-news\/prover-studio-now-supports-hll\/","og_locale":"en_US","og_type":"article","og_title":"Prover Studio now supports HLL - Prover - Engineering a Safer World","og_description":"Prover Studio 2 with HLL support has been released!","og_url":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2023-03-09T08:56:04+00:00","article_modified_time":"2025-05-19T08:15:17+00:00","author":"Nicolas Aucouturier","twitter_card":"summary_large_image","twitter_image":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp","twitter_misc":{"Written by":"Nicolas Aucouturier","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/"},"author":{"name":"Nicolas Aucouturier","@id":"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432"},"headline":"Prover Studio now supports HLL","datePublished":"2023-03-09T08:56:04+00:00","dateModified":"2025-05-19T08:15:17+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/"},"wordCount":522,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp","articleSection":["Company news"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/","url":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/","name":"Prover Studio now supports HLL - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp","datePublished":"2023-03-09T08:56:04+00:00","dateModified":"2025-05-19T08:15:17+00:00","description":"Prover Studio 2 with HLL support has been released!","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/03\/Prover-Studio-now-supports-HLL-jpeg.webp","width":2500,"height":1067,"caption":"Prover Studio now supports HLL"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/prover-studio-now-supports-hll\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Company news","item":"https:\/\/www.prover.com\/categories\/company-news\/"},{"@type":"ListItem","position":3,"name":"Prover Studio now supports HLL"}]},{"@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\/6415","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=6415"}],"version-history":[{"count":4,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6415\/revisions"}],"predecessor-version":[{"id":21814,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6415\/revisions\/21814"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14315"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=6415"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=6415"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=6415"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}