The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.<\/p>\n<\/div>
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.<\/p>\n<\/div><\/div><\/div><\/div><\/div>
The Signaling Design Automation Forum (SDA Forum) 2025 took place on October 1 in Stockholm, bringing together professionals from across the signaling and rail industry for a full day of knowledge sharing, collaboration, and inspiration.<\/p>\n
SDA Forum 2025 focused on two key topics transforming the industry: open signaling and the increasing role of AI.<\/p>\n
The sessions explored how open standards and system architectures can unlock new levels of collaboration, innovation, and interoperability. At the same time, they examined how emerging AI technologies can support smarter analysis, automation, and decision-making in railway development and operations.<\/p>\n
As in previous years, the forum also featured sessions on the foundational topics that define Prover\u2019s expertise in formal methods and signaling design automation. Together, these topics formed a wide but focused agenda that encouraged knowledge sharing and in-depth discussions.<\/p>\n
For the first time, SDA Forum included a dedicated exhibition area in the main conference space. This gave participants and speakers the opportunity to experience systems, software tools, and technologies hands-on. It became a natural space for networking and dialogue, and a highlight of the day.<\/span><\/p>\nThe exhibition area allowed both presenters and attendees to experience the latest innovations up close.<\/p>\nWe were proud to host several exhibitors and speakers, including: T\u00dcV S\u00dcD, Schneider Electric, SL (Stockholm Public Transport), Cactus Rail, Systems Lab 21, and NEAT.<\/strong><\/p>\n<\/p>\n<\/div>Event host<\/h6><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Anders Lind\u00e9n<\/strong>\nCEO Prover<\/strong><\/p>\n\u201d<\/em>We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us for the next SDA Forum!”<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div>The date and location of our next SDA Forum have not yet been determined.<\/h4><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Thank you for participating in our previous events!<\/h2><\/div>Earlier events:<\/h5><\/div><\/div><\/div>2023<\/strong> October 17, SDA Forum Paris\n2022<\/strong> October 18, <\/span>SDA Forum Stockholm\n2021<\/strong> November 16, SDA Forum Paris<\/p>\n<\/div><\/div><\/div>2019<\/strong> November 6, SDA Forum Shanghai\n2018<\/strong> May 15, SDA Forum Stockholm<\/p>\n<\/div><\/div><\/div><\/a>SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
The exhibition area allowed both presenters and attendees to experience the latest innovations up close.<\/p>\n
We were proud to host several exhibitors and speakers, including: T\u00dcV S\u00dcD, Schneider Electric, SL (Stockholm Public Transport), Cactus Rail, Systems Lab 21, and NEAT.<\/strong><\/p>\n<\/p>\n<\/div>Event host<\/h6><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Anders Lind\u00e9n<\/strong>\nCEO Prover<\/strong><\/p>\n\u201d<\/em>We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us for the next SDA Forum!”<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div>The date and location of our next SDA Forum have not yet been determined.<\/h4><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Thank you for participating in our previous events!<\/h2><\/div>Earlier events:<\/h5><\/div><\/div><\/div>2023<\/strong> October 17, SDA Forum Paris\n2022<\/strong> October 18, <\/span>SDA Forum Stockholm\n2021<\/strong> November 16, SDA Forum Paris<\/p>\n<\/div><\/div><\/div>2019<\/strong> November 6, SDA Forum Shanghai\n2018<\/strong> May 15, SDA Forum Stockholm<\/p>\n<\/div><\/div><\/div><\/a>SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
<\/p>\n<\/div>
Anders Lind\u00e9n<\/strong>\nCEO Prover<\/strong><\/p>\n\u201d<\/em>We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us for the next SDA Forum!”<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div>The date and location of our next SDA Forum have not yet been determined.<\/h4><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Thank you for participating in our previous events!<\/h2><\/div>Earlier events:<\/h5><\/div><\/div><\/div>2023<\/strong> October 17, SDA Forum Paris\n2022<\/strong> October 18, <\/span>SDA Forum Stockholm\n2021<\/strong> November 16, SDA Forum Paris<\/p>\n<\/div><\/div><\/div>2019<\/strong> November 6, SDA Forum Shanghai\n2018<\/strong> May 15, SDA Forum Stockholm<\/p>\n<\/div><\/div><\/div><\/a>SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
\u201d<\/em>We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us for the next SDA Forum!”<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div>The date and location of our next SDA Forum have not yet been determined.<\/h4><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Thank you for participating in our previous events!<\/h2><\/div>Earlier events:<\/h5><\/div><\/div><\/div>2023<\/strong> October 17, SDA Forum Paris\n2022<\/strong> October 18, <\/span>SDA Forum Stockholm\n2021<\/strong> November 16, SDA Forum Paris<\/p>\n<\/div><\/div><\/div>2019<\/strong> November 6, SDA Forum Shanghai\n2018<\/strong> May 15, SDA Forum Stockholm<\/p>\n<\/div><\/div><\/div><\/a>SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
2023<\/strong> October 17, SDA Forum Paris\n2022<\/strong> October 18, <\/span>SDA Forum Stockholm\n2021<\/strong> November 16, SDA Forum Paris<\/p>\n<\/div><\/div><\/div>2019<\/strong> November 6, SDA Forum Shanghai\n2018<\/strong> May 15, SDA Forum Stockholm<\/p>\n<\/div><\/div><\/div><\/a>SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
2019<\/strong> November 6, SDA Forum Shanghai\n2018<\/strong> May 15, SDA Forum Stockholm<\/p>\n<\/div><\/div><\/div><\/a>SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
SDAF 2023 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
SDAF 2022 Stockholm<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
SDAF 2021 Paris<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
SDAF 2019 Shanghai<\/strong><\/p>\n<\/div><\/div><\/div><\/a>SDAF 2018 Stockholm<\/strong><\/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>
SDAF 2018 Stockholm<\/strong><\/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>
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>