席位有限，欲报名者从速！
Prover公司举办的SDA论坛是一个旨在拥抱形式验证和设计自动化的最新进展的活动。其中形式验证（Formal verification）是用于铁路信号系统等安全关键系统自动化全覆盖验证的软件技术。我们真诚邀请信号领域专业人士参加2019年度SDA论坛。我们期待在面对面的互动中交流经验，探讨铁路行业形式验证和设计自动化的实施策略和标准。同时也非常欢迎其他安全关键系统（例如汽车和智能合约）的从业人员参与。
斯德哥尔摩SDA2018论坛取得了巨大的成功，来自世界各地的领先基础设施经理，供应商和工程公司的与会者参加了会议。立足令世界瞩目的中国铁路市场，我们将于上海举办今年的SDA论坛。
加入我们，免费参加11月6日在上海举行的SDA论坛！报名注册请点击最下方左侧阅读原文。
访问注册链接亦可扫以下二维码：
或者直接访问以下链接（并点击右上角SDA Forum）：
https://www.prover.com/zh/
