A formal language specifically tailored for design of signaling systems.<\/p>\n<\/div>
A Language fused for Generic Applications in the Prover SDA software suite and the Prover iLock tool.<\/p>\n<\/div><\/div><\/div><\/div><\/div>
PiSPEC is a formal language dedicated to signaling engineering. It enables you to specify signaling requirements in a clear and formal way and to package this as reusable generic application.<\/span><\/p>\nPiSPEC was developed to be the perfect interface between signaling engineers and signaling automation tools such as\u202fProver iLock. Care has been taken to make language features self-explanatory.<\/span><\/p>\nPiSPEC is very similar to HLL, but allows also some abstraction with respect to the execution model.<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>A formal language for design specification<\/h2><\/div>PiSPEC builds on standard concepts that are taught in engineering classes all over the world. It originates from predicate logic, enhanced with a type system and object orientation. The type system helps discovering many flaws and omissions already during the writing of the specification. The object orientation supplies classes, inheritance and interfaces, that adds structure to the specifications and provides a natural way to model any signaling system.<\/span>\u00a0<\/span><\/p>\nPiSPEC is very similar to HLL<\/a>. If you are already familiar with HLL you will quickly learn to use PiSPEC. It can be seen as an object-oriented version of HLL.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>Supported by Prover iLock<\/h2><\/div>When using PiSPEC together with Prover iLock<\/a><\/span> a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Supported by the IDE Prover Studio<\/strong><\/h2><\/div>Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
PiSPEC was developed to be the perfect interface between signaling engineers and signaling automation tools such as\u202fProver iLock. Care has been taken to make language features self-explanatory.<\/span><\/p>\nPiSPEC is very similar to HLL, but allows also some abstraction with respect to the execution model.<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>A formal language for design specification<\/h2><\/div>PiSPEC builds on standard concepts that are taught in engineering classes all over the world. It originates from predicate logic, enhanced with a type system and object orientation. The type system helps discovering many flaws and omissions already during the writing of the specification. The object orientation supplies classes, inheritance and interfaces, that adds structure to the specifications and provides a natural way to model any signaling system.<\/span>\u00a0<\/span><\/p>\nPiSPEC is very similar to HLL<\/a>. If you are already familiar with HLL you will quickly learn to use PiSPEC. It can be seen as an object-oriented version of HLL.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>Supported by Prover iLock<\/h2><\/div>When using PiSPEC together with Prover iLock<\/a><\/span> a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Supported by the IDE Prover Studio<\/strong><\/h2><\/div>Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
PiSPEC is very similar to HLL, but allows also some abstraction with respect to the execution model.<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>A formal language for design specification<\/h2><\/div>PiSPEC builds on standard concepts that are taught in engineering classes all over the world. It originates from predicate logic, enhanced with a type system and object orientation. The type system helps discovering many flaws and omissions already during the writing of the specification. The object orientation supplies classes, inheritance and interfaces, that adds structure to the specifications and provides a natural way to model any signaling system.<\/span>\u00a0<\/span><\/p>\nPiSPEC is very similar to HLL<\/a>. If you are already familiar with HLL you will quickly learn to use PiSPEC. It can be seen as an object-oriented version of HLL.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>Supported by Prover iLock<\/h2><\/div>When using PiSPEC together with Prover iLock<\/a><\/span> a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Supported by the IDE Prover Studio<\/strong><\/h2><\/div>Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
PiSPEC builds on standard concepts that are taught in engineering classes all over the world. It originates from predicate logic, enhanced with a type system and object orientation. The type system helps discovering many flaws and omissions already during the writing of the specification. The object orientation supplies classes, inheritance and interfaces, that adds structure to the specifications and provides a natural way to model any signaling system.<\/span>\u00a0<\/span><\/p>\nPiSPEC is very similar to HLL<\/a>. If you are already familiar with HLL you will quickly learn to use PiSPEC. It can be seen as an object-oriented version of HLL.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>Supported by Prover iLock<\/h2><\/div>When using PiSPEC together with Prover iLock<\/a><\/span> a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Supported by the IDE Prover Studio<\/strong><\/h2><\/div>Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
PiSPEC is very similar to HLL<\/a>. If you are already familiar with HLL you will quickly learn to use PiSPEC. It can be seen as an object-oriented version of HLL.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>Supported by Prover iLock<\/h2><\/div>When using PiSPEC together with Prover iLock<\/a><\/span> a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Supported by the IDE Prover Studio<\/strong><\/h2><\/div>Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
When using PiSPEC together with Prover iLock<\/a><\/span> a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback.<\/span>\u00a0<\/span><\/p>\n<\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Supported by the IDE Prover Studio<\/strong><\/h2><\/div>Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Prover Studio<\/a> stands out as the natural choice for developing Prover iLock generic applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.<\/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":45,"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-18700","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nPiSPEC<\/title>\n<meta name=\"description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\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\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PiSPEC\" \/>\n<meta property=\"og:description\" content=\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T07:59:53+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"url\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\",\"name\":\"PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp\",\"datePublished\":\"2023-12-05T10:16:28+00:00\",\"dateModified\":\"2025-05-19T07:59:53+00:00\",\"description\":\"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PiSPEC\"}]},{\"@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":"PiSPEC","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","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\/pispec-prover-ilock-specification\/","og_locale":"en_US","og_type":"article","og_title":"PiSPEC","og_description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","og_url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T07:59:53+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":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","url":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/","name":"PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/code.webp","datePublished":"2023-12-05T10:16:28+00:00","dateModified":"2025-05-19T07:59:53+00:00","description":"PiSPEC - A Language used for Generic Applications in the Prover SDA software suite and the Prover iLock tool.","breadcrumb":{"@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/pispec-prover-ilock-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/pispec-prover-ilock-specification\/#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\/pispec-prover-ilock-specification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"PiSPEC"}]},{"@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\/18700","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18700"}],"version-history":[{"count":30,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions"}],"predecessor-version":[{"id":18737,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18700\/revisions\/18737"}],"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=18700"}],"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>