信号设计自动化论坛2019年会总结
11月6日，Prover在上海主办了2019年信号设计自动化论坛。 我们的主旨是召集铁路信号行业以及相关安全关键行业的专业人士，共享和讨论设计自动化的最新进展，使用软件技术实现铁路信号系统的自动化设计和验证，并特别地关注了通过形式验证保证安全。
保存日期 – SDA论坛将于2019年11月6日在北京举行
2017年，Prover Technology公司萌生了技术论坛的想法，我们希望创建一个分享经验和最佳实践以及相互沟通的论坛。 我们的目的是聚集来自世界各地领先的信号管理同行，并讨论自动化铁路信号系统的设计和验证中设计自动化和形式验证软件技术的最新发展，所以SDA论坛诞生了。 第一次会议由Prover公司于2017年5月15日在斯德哥尔摩主办。