2019信号设计自动化论坛–安全保证

通过形式验证进行安全保证

我们的SDA论坛是一个旨在拥抱形式验证和设计自动化的最新进展的活动。形式验证(Formal verification)是用于铁路信号系统等安全关键系统自动化全覆盖验证的软件技术。

我们希望铁路信号领域以及其他安全攸关行业的专业人士前来相聚,有机会分享和交流设计和验证自动化的软件技术。我们尤其专注于基于形式验证方法的安全保证技术。

了解更多关于SDAF 论坛2019年年会的更多内容 – SDAF 2019年会总结回顾

日程安排

2019年活动的视频。