斯德哥尔摩地铁，瑞典

在这个项目中，Prover Technology 为 Ansaldo STS 提供了 Prover Trident 解决方案，用于 Roslagsbanan 联锁软件的开发和安全审批。Roslagsbanan 是连接斯德哥尔摩东站和斯德哥尔摩东北郊区的一条铁路干线。

干线铁路Roslagsbanan上的联锁系统之前是基于继电器的， 作为 Roslagsbanan铁路产能提升计划的一部分，项目运营商希望能缩短联锁系统开发和安全审批所需的上市时间。

自 2014 年以来，Ansaldo STS 通过使用 Prover Trident 技术成功满足其需求。