新闻动态
关注Prover的媒体平台并了解最新活动信息
为什么进行形式验证-验证问题的解决方案
如果您已经阅读了本系列的前两部分，那么您将知道，验证联锁满足安全要求并不是一件容易的事。由于联锁的状态空间很大，因此手动方法和测试都无法助您一臂之力。
敬请订阅！
形式化验证Why系列之二：形式化验证的适用性
“形式化”其实就是指“数学”。因此，形式验证意味着将验证问题转化为数学问题。大家都知道一旦连结到数学领域，我们就可以获得数学所带来的严谨性和精确性。
形式化验证Why系列之一：铁路系统的安全需求
我将尝试解释为什么形式化验证是更好的选择。尤其是为什么在验证铁路系统的安全需求时使用形式化验证是一种好的做法。 为了做出令人信服的论证，我需要从头开始。
信号设计自动化论坛2019年会总结
11月6日，Prover在上海主办了2019年信号设计自动化论坛。 我们的主旨是召集铁路信号行业以及相关安全关键行业的专业人士，共享和讨论设计自动化的最新进展，使用软件技术实现铁路信号系统的自动化设计和验证，并特别地关注了通过形式验证保证安全。
807, 2019
保存日期 – SDA论坛将于2019年11月6日在北京举行
2017年，Prover Technology公司萌生了技术论坛的想法，我们希望创建一个分享经验和最佳实践以及相互沟通的论坛。 我们的目的是聚集来自世界各地领先的信号管理同行，并讨论自动化铁路信号系统的设计和验证中设计自动化和形式验证软件技术的最新发展，所以SDA论坛诞生了。 第一次会议由Prover公司于2017年5月15日在斯德哥尔摩主办。
SOCIAL MEDIA