A language for formal verification of safety-critical systems.<\/p>\n<\/div>
A Language for Formal Verification of Safety-Critical Systems.<\/p>\n<\/div><\/div><\/div><\/div><\/div>
LCF is a domain-specific language tailored for signaling engineering. It provides a universal way of expressing signaling configuration data in a compact and review-friendly format.<\/span><\/p>\nLCF solves the problem of storing configuration data in a format suitable for manually review. It works for all signaling principles and any choice of signaling platforms using a powerful generic application configuration methodology. Data available in railML can be translated to LCF for review or further validation.<\/p>\nLCF is based on the RJSON<\/a> format, which is an extension of JSON that is a subset of YAML. It was constructed to be review-friendly yet machine readable.<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>An extensive machinery for checking correctness and consistency<\/h2><\/div>The LCF format, together with Prover\u2019s associated tool suite, offers an extensive machinery for checking correctness and consistency, and for computing derived data for use in design, testing, or formal verification of signaling systems. The configuration of this machinery is highly flexible and the resulting process is compliant with CENELEC SIL 4.<\/span><\/p>\nWith the tool suite you get functionality for generating HLL<\/a> for formal verification with Prover Certifier<\/a>. You describe how the LCF configuration model is mapped to the object model in HLL, and the job is done.<\/p>\n<\/div><\/div><\/div><\/div><\/div>Generate LCF data with Prover iLock for use by Prover Certifier<\/h2><\/div>Prover iLock<\/a> can both read and write LCF. When using sign-off verification with Prover Certifier<\/a>, Prover iLock can generate the required LCF data.<\/span><\/p>\nThe LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL 4).<\/p>\nThe LCF specification is available on HAL<\/a>.<\/p>\n<\/div>To our products<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/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":18051,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16649","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLCF \u2013 Layout Configuration Format<\/title>\n<meta name=\"description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\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\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF \u2013 Layout Configuration Format\" \/>\n<meta property=\"og:description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:41:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.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\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"url\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"name\":\"LCF \u2013 Layout Configuration Format\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-04-18T08:05:10+00:00\",\"dateModified\":\"2025-01-09T14:41:17+00:00\",\"description\":\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL High Level Language\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"LCF \u2013 Layout Configuration Format\"}]},{\"@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":"LCF \u2013 Layout Configuration Format","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","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\/lcf-layout-configuration-format\/","og_locale":"en_US","og_type":"article","og_title":"LCF \u2013 Layout Configuration Format","og_description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","og_url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:41:17+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","name":"LCF \u2013 Layout Configuration Format","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-04-18T08:05:10+00:00","dateModified":"2025-01-09T14:41:17+00:00","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/lcf-layout-configuration-format\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","width":1400,"height":600,"caption":"HLL High Level Language"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"LCF \u2013 Layout Configuration Format"}]},{"@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\/16649","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=16649"}],"version-history":[{"count":33,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions"}],"predecessor-version":[{"id":20786,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions\/20786"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18051"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
LCF solves the problem of storing configuration data in a format suitable for manually review. It works for all signaling principles and any choice of signaling platforms using a powerful generic application configuration methodology. Data available in railML can be translated to LCF for review or further validation.<\/p>\n
LCF is based on the RJSON<\/a> format, which is an extension of JSON that is a subset of YAML. It was constructed to be review-friendly yet machine readable.<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>An extensive machinery for checking correctness and consistency<\/h2><\/div>The LCF format, together with Prover\u2019s associated tool suite, offers an extensive machinery for checking correctness and consistency, and for computing derived data for use in design, testing, or formal verification of signaling systems. The configuration of this machinery is highly flexible and the resulting process is compliant with CENELEC SIL 4.<\/span><\/p>\nWith the tool suite you get functionality for generating HLL<\/a> for formal verification with Prover Certifier<\/a>. You describe how the LCF configuration model is mapped to the object model in HLL, and the job is done.<\/p>\n<\/div><\/div><\/div><\/div><\/div>Generate LCF data with Prover iLock for use by Prover Certifier<\/h2><\/div>Prover iLock<\/a> can both read and write LCF. When using sign-off verification with Prover Certifier<\/a>, Prover iLock can generate the required LCF data.<\/span><\/p>\nThe LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL 4).<\/p>\nThe LCF specification is available on HAL<\/a>.<\/p>\n<\/div>To our products<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/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":18051,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16649","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLCF \u2013 Layout Configuration Format<\/title>\n<meta name=\"description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\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\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF \u2013 Layout Configuration Format\" \/>\n<meta property=\"og:description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:41:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.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\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"url\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"name\":\"LCF \u2013 Layout Configuration Format\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-04-18T08:05:10+00:00\",\"dateModified\":\"2025-01-09T14:41:17+00:00\",\"description\":\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL High Level Language\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"LCF \u2013 Layout Configuration Format\"}]},{\"@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":"LCF \u2013 Layout Configuration Format","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","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\/lcf-layout-configuration-format\/","og_locale":"en_US","og_type":"article","og_title":"LCF \u2013 Layout Configuration Format","og_description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","og_url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:41:17+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","name":"LCF \u2013 Layout Configuration Format","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-04-18T08:05:10+00:00","dateModified":"2025-01-09T14:41:17+00:00","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/lcf-layout-configuration-format\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","width":1400,"height":600,"caption":"HLL High Level Language"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"LCF \u2013 Layout Configuration Format"}]},{"@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\/16649","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=16649"}],"version-history":[{"count":33,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions"}],"predecessor-version":[{"id":20786,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions\/20786"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18051"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
The LCF format, together with Prover\u2019s associated tool suite, offers an extensive machinery for checking correctness and consistency, and for computing derived data for use in design, testing, or formal verification of signaling systems. The configuration of this machinery is highly flexible and the resulting process is compliant with CENELEC SIL 4.<\/span><\/p>\nWith the tool suite you get functionality for generating HLL<\/a> for formal verification with Prover Certifier<\/a>. You describe how the LCF configuration model is mapped to the object model in HLL, and the job is done.<\/p>\n<\/div><\/div><\/div><\/div><\/div>Generate LCF data with Prover iLock for use by Prover Certifier<\/h2><\/div>Prover iLock<\/a> can both read and write LCF. When using sign-off verification with Prover Certifier<\/a>, Prover iLock can generate the required LCF data.<\/span><\/p>\nThe LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL 4).<\/p>\nThe LCF specification is available on HAL<\/a>.<\/p>\n<\/div>To our products<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/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":18051,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16649","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLCF \u2013 Layout Configuration Format<\/title>\n<meta name=\"description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\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\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF \u2013 Layout Configuration Format\" \/>\n<meta property=\"og:description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:41:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.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\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"url\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"name\":\"LCF \u2013 Layout Configuration Format\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-04-18T08:05:10+00:00\",\"dateModified\":\"2025-01-09T14:41:17+00:00\",\"description\":\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL High Level Language\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"LCF \u2013 Layout Configuration Format\"}]},{\"@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":"LCF \u2013 Layout Configuration Format","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","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\/lcf-layout-configuration-format\/","og_locale":"en_US","og_type":"article","og_title":"LCF \u2013 Layout Configuration Format","og_description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","og_url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:41:17+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","name":"LCF \u2013 Layout Configuration Format","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-04-18T08:05:10+00:00","dateModified":"2025-01-09T14:41:17+00:00","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/lcf-layout-configuration-format\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","width":1400,"height":600,"caption":"HLL High Level Language"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"LCF \u2013 Layout Configuration Format"}]},{"@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\/16649","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=16649"}],"version-history":[{"count":33,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions"}],"predecessor-version":[{"id":20786,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions\/20786"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18051"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
With the tool suite you get functionality for generating HLL<\/a> for formal verification with Prover Certifier<\/a>. You describe how the LCF configuration model is mapped to the object model in HLL, and the job is done.<\/p>\n<\/div><\/div><\/div><\/div><\/div>Generate LCF data with Prover iLock for use by Prover Certifier<\/h2><\/div>Prover iLock<\/a> can both read and write LCF. When using sign-off verification with Prover Certifier<\/a>, Prover iLock can generate the required LCF data.<\/span><\/p>\nThe LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL 4).<\/p>\nThe LCF specification is available on HAL<\/a>.<\/p>\n<\/div>To our products<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/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":18051,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16649","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLCF \u2013 Layout Configuration Format<\/title>\n<meta name=\"description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\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\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF \u2013 Layout Configuration Format\" \/>\n<meta property=\"og:description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:41:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.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\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"url\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"name\":\"LCF \u2013 Layout Configuration Format\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-04-18T08:05:10+00:00\",\"dateModified\":\"2025-01-09T14:41:17+00:00\",\"description\":\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL High Level Language\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"LCF \u2013 Layout Configuration Format\"}]},{\"@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":"LCF \u2013 Layout Configuration Format","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","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\/lcf-layout-configuration-format\/","og_locale":"en_US","og_type":"article","og_title":"LCF \u2013 Layout Configuration Format","og_description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","og_url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:41:17+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","name":"LCF \u2013 Layout Configuration Format","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-04-18T08:05:10+00:00","dateModified":"2025-01-09T14:41:17+00:00","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/lcf-layout-configuration-format\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","width":1400,"height":600,"caption":"HLL High Level Language"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"LCF \u2013 Layout Configuration Format"}]},{"@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\/16649","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=16649"}],"version-history":[{"count":33,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions"}],"predecessor-version":[{"id":20786,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions\/20786"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18051"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Prover iLock<\/a> can both read and write LCF. When using sign-off verification with Prover Certifier<\/a>, Prover iLock can generate the required LCF data.<\/span><\/p>\nThe LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL 4).<\/p>\nThe LCF specification is available on HAL<\/a>.<\/p>\n<\/div>To our products<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/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":18051,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16649","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLCF \u2013 Layout Configuration Format<\/title>\n<meta name=\"description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\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\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF \u2013 Layout Configuration Format\" \/>\n<meta property=\"og:description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:41:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.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\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"url\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"name\":\"LCF \u2013 Layout Configuration Format\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-04-18T08:05:10+00:00\",\"dateModified\":\"2025-01-09T14:41:17+00:00\",\"description\":\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL High Level Language\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"LCF \u2013 Layout Configuration Format\"}]},{\"@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":"LCF \u2013 Layout Configuration Format","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","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\/lcf-layout-configuration-format\/","og_locale":"en_US","og_type":"article","og_title":"LCF \u2013 Layout Configuration Format","og_description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","og_url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:41:17+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","name":"LCF \u2013 Layout Configuration Format","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-04-18T08:05:10+00:00","dateModified":"2025-01-09T14:41:17+00:00","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/lcf-layout-configuration-format\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","width":1400,"height":600,"caption":"HLL High Level Language"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"LCF \u2013 Layout Configuration Format"}]},{"@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\/16649","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=16649"}],"version-history":[{"count":33,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions"}],"predecessor-version":[{"id":20786,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions\/20786"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18051"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
The LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL 4).<\/p>\n
The LCF specification is available on HAL<\/a>.<\/p>\n<\/div>To our products<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/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":18051,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-16649","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLCF \u2013 Layout Configuration Format<\/title>\n<meta name=\"description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\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\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF \u2013 Layout Configuration Format\" \/>\n<meta property=\"og:description\" content=\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:41:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.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\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"url\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\",\"name\":\"LCF \u2013 Layout Configuration Format\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-04-18T08:05:10+00:00\",\"dateModified\":\"2025-01-09T14:41:17+00:00\",\"description\":\"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"width\":1400,\"height\":600,\"caption\":\"HLL High Level Language\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"LCF \u2013 Layout Configuration Format\"}]},{\"@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":"LCF \u2013 Layout Configuration Format","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","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\/lcf-layout-configuration-format\/","og_locale":"en_US","og_type":"article","og_title":"LCF \u2013 Layout Configuration Format","og_description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","og_url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:41:17+00:00","og_image":[{"width":1400,"height":600,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","url":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/","name":"LCF \u2013 Layout Configuration Format","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-04-18T08:05:10+00:00","dateModified":"2025-01-09T14:41:17+00:00","description":"The LCF format, together with our tool suite, offers extensive machinery for checking the correctness and consistency of signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/lcf-layout-configuration-format\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","width":1400,"height":600,"caption":"HLL High Level Language"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/lcf-layout-configuration-format\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"LCF \u2013 Layout Configuration Format"}]},{"@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\/16649","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=16649"}],"version-history":[{"count":33,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions"}],"predecessor-version":[{"id":20786,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/16649\/revisions\/20786"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18051"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16649"}],"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>