The community for us who use High-Level Language (HLL).<\/p>\n<\/div>
The community for us who use High-Level Language (HLL).<\/p>\n<\/div><\/div><\/div><\/div><\/div>
The HLL Forum is the community for us who use the formal specification language HLL<\/a>, and believe it is a good language for formal methods.<\/p>\nAs it has started to become a de facto standard, we want to make sure that the language develops in a controlled way to meet the demands of the future.<\/p>\nThe HLL Forum was formed in a first meeting in Paris on December 4th 2018. Since then, tool providers have been working together to merge their different dialects of HLL into one uniform language that we aim eventually to publish as the official next version of HLL. Equally important are the members using HLL and the tools in the market, such as signaling suppliers, infra structure managers and engineering firms. Users and providers working together to create safe and cost efficient rail control systems.<\/span><\/p>\nBy joining the community you ensure that your voice is heard.<\/p>\nPlease get in touch with us at info@prover.com<\/a>.<\/b><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div>Meetings so far:<\/h2><\/div>2018<\/strong> December 4, at NOVOTEL Les Halles, Paris: Founding meeting\n2019<\/strong> March 22, Language development group meeting (Prover,\nSysterel, SafeRiver, Ansys, RATP) at RATP: language proposal\n2019<\/strong> November 21: Specification process proposal and next steps<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>News<\/h6><\/div>Latest news, stories and upcoming events from the railway industry<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div>How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.<\/p>\n<\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div><\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/li>\n<\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div>View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":16417,"parent":16211,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16407","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nHLL Forum - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"HLL Forum - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-11T11:40:19+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1400\" \/>\n\t<meta property=\"og:image:height\" content=\"600\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"url\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"name\":\"HLL Forum - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"datePublished\":\"2023-04-17T18:36:56+00:00\",\"dateModified\":\"2024-07-11T11:40:19+00:00\",\"description\":\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"HLL \u2013 High Level Language\",\"item\":\"https:\/\/www.prover.com\/hll-high-level-language\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"HLL Forum\"}]},{\"@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\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"HLL Forum - Prover - Engineering a Safer World","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/","og_locale":"en_US","og_type":"article","og_title":"HLL Forum - Prover - Engineering a Safer World","og_description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","og_url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2024-07-11T11:40:19+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","name":"HLL Forum - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","datePublished":"2023-04-17T18:36:56+00:00","dateModified":"2024-07-11T11:40:19+00:00","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","breadcrumb":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","width":1400,"height":600,"caption":"HLL"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"HLL \u2013 High Level Language","item":"https:\/\/www.prover.com\/hll-high-level-language\/"},{"@type":"ListItem","position":3,"name":"HLL Forum"}]},{"@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\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=16407"}],"version-history":[{"count":24,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions"}],"predecessor-version":[{"id":19760,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions\/19760"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16211"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/16417"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
As it has started to become a de facto standard, we want to make sure that the language develops in a controlled way to meet the demands of the future.<\/p>\n
The HLL Forum was formed in a first meeting in Paris on December 4th 2018. Since then, tool providers have been working together to merge their different dialects of HLL into one uniform language that we aim eventually to publish as the official next version of HLL. Equally important are the members using HLL and the tools in the market, such as signaling suppliers, infra structure managers and engineering firms. Users and providers working together to create safe and cost efficient rail control systems.<\/span><\/p>\nBy joining the community you ensure that your voice is heard.<\/p>\nPlease get in touch with us at info@prover.com<\/a>.<\/b><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div>Meetings so far:<\/h2><\/div>2018<\/strong> December 4, at NOVOTEL Les Halles, Paris: Founding meeting\n2019<\/strong> March 22, Language development group meeting (Prover,\nSysterel, SafeRiver, Ansys, RATP) at RATP: language proposal\n2019<\/strong> November 21: Specification process proposal and next steps<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>News<\/h6><\/div>Latest news, stories and upcoming events from the railway industry<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div>How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.<\/p>\n<\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div><\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/li>\n<\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div>View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":16417,"parent":16211,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16407","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nHLL Forum - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"HLL Forum - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-11T11:40:19+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1400\" \/>\n\t<meta property=\"og:image:height\" content=\"600\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"url\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"name\":\"HLL Forum - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"datePublished\":\"2023-04-17T18:36:56+00:00\",\"dateModified\":\"2024-07-11T11:40:19+00:00\",\"description\":\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"HLL \u2013 High Level Language\",\"item\":\"https:\/\/www.prover.com\/hll-high-level-language\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"HLL Forum\"}]},{\"@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\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"HLL Forum - Prover - Engineering a Safer World","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/","og_locale":"en_US","og_type":"article","og_title":"HLL Forum - Prover - Engineering a Safer World","og_description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","og_url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2024-07-11T11:40:19+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","name":"HLL Forum - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","datePublished":"2023-04-17T18:36:56+00:00","dateModified":"2024-07-11T11:40:19+00:00","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","breadcrumb":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","width":1400,"height":600,"caption":"HLL"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"HLL \u2013 High Level Language","item":"https:\/\/www.prover.com\/hll-high-level-language\/"},{"@type":"ListItem","position":3,"name":"HLL Forum"}]},{"@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\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=16407"}],"version-history":[{"count":24,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions"}],"predecessor-version":[{"id":19760,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions\/19760"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16211"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/16417"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
By joining the community you ensure that your voice is heard.<\/p>\n
Please get in touch with us at info@prover.com<\/a>.<\/b><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div>Meetings so far:<\/h2><\/div>2018<\/strong> December 4, at NOVOTEL Les Halles, Paris: Founding meeting\n2019<\/strong> March 22, Language development group meeting (Prover,\nSysterel, SafeRiver, Ansys, RATP) at RATP: language proposal\n2019<\/strong> November 21: Specification process proposal and next steps<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>News<\/h6><\/div>Latest news, stories and upcoming events from the railway industry<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div>How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.<\/p>\n<\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div><\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/li>\n<\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div>View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":16417,"parent":16211,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16407","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nHLL Forum - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"HLL Forum - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-11T11:40:19+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1400\" \/>\n\t<meta property=\"og:image:height\" content=\"600\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"url\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"name\":\"HLL Forum - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"datePublished\":\"2023-04-17T18:36:56+00:00\",\"dateModified\":\"2024-07-11T11:40:19+00:00\",\"description\":\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"HLL \u2013 High Level Language\",\"item\":\"https:\/\/www.prover.com\/hll-high-level-language\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"HLL Forum\"}]},{\"@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\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"HLL Forum - Prover - Engineering a Safer World","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/","og_locale":"en_US","og_type":"article","og_title":"HLL Forum - Prover - Engineering a Safer World","og_description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","og_url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2024-07-11T11:40:19+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","name":"HLL Forum - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","datePublished":"2023-04-17T18:36:56+00:00","dateModified":"2024-07-11T11:40:19+00:00","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","breadcrumb":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","width":1400,"height":600,"caption":"HLL"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"HLL \u2013 High Level Language","item":"https:\/\/www.prover.com\/hll-high-level-language\/"},{"@type":"ListItem","position":3,"name":"HLL Forum"}]},{"@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\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=16407"}],"version-history":[{"count":24,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions"}],"predecessor-version":[{"id":19760,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions\/19760"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16211"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/16417"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
2018<\/strong> December 4, at NOVOTEL Les Halles, Paris: Founding meeting\n2019<\/strong> March 22, Language development group meeting (Prover,\nSysterel, SafeRiver, Ansys, RATP) at RATP: language proposal\n2019<\/strong> November 21: Specification process proposal and next steps<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>News<\/h6><\/div>Latest news, stories and upcoming events from the railway industry<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div>How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.<\/p>\n<\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div><\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Webinar<\/a><\/span><\/span><\/div>Case study: Automating data preparation for rail control systems<\/a><\/h4><\/div><\/div><\/li>\n<\/span><\/a><\/span><\/a><\/span><\/div><\/div><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/div><\/div><\/a><\/span><\/div>Categories: Job openings<\/a><\/span><\/span><\/div>Commercial Project Management Lead<\/a><\/h4><\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div>View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":16417,"parent":16211,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16407","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nHLL Forum - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"HLL Forum - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-11T11:40:19+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1400\" \/>\n\t<meta property=\"og:image:height\" content=\"600\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"url\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\",\"name\":\"HLL Forum - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"datePublished\":\"2023-04-17T18:36:56+00:00\",\"dateModified\":\"2024-07-11T11:40:19+00:00\",\"description\":\"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"HLL \u2013 High Level Language\",\"item\":\"https:\/\/www.prover.com\/hll-high-level-language\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"HLL Forum\"}]},{\"@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\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"HLL Forum - Prover - Engineering a Safer World","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for 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\/hll-high-level-language\/hll-forum\/","og_locale":"en_US","og_type":"article","og_title":"HLL Forum - Prover - Engineering a Safer World","og_description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","og_url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2024-07-11T11:40:19+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","url":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/","name":"HLL Forum - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","datePublished":"2023-04-17T18:36:56+00:00","dateModified":"2024-07-11T11:40:19+00:00","description":"The HLL Forum is the community for us who use the formal specification language HLL, and believe it is a good language for formal methods.","breadcrumb":{"@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1224500457-jpg.webp","width":1400,"height":600,"caption":"HLL"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/hll-high-level-language\/hll-forum\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"HLL \u2013 High Level Language","item":"https:\/\/www.prover.com\/hll-high-level-language\/"},{"@type":"ListItem","position":3,"name":"HLL Forum"}]},{"@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\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=16407"}],"version-history":[{"count":24,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions"}],"predecessor-version":[{"id":19760,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16407\/revisions\/19760"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16211"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/16417"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
How can rail projects move beyond manual data preparation? In this webinar, we show how Signaling Design Automation and formal verification enable a more controlled, efficient, and verifiable approach to generating and validating application data.<\/p>\n<\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div>