联锁设计的自动化解决方案演示

本视频展示了一个现代化的联锁设计自动化解决方案，即Prover Trident, 以及如何利用此方案高效地，安全地设计和开发铁路联锁系统。
从本视频中，您将会了解

• 如何创建联锁应用并且自动生成其目标代码

• 如何使用仿真工具对联锁逻辑进行测试

• 如何使用形式化方法验证目标代码是否符合安全需求