PSL – Prover SL CE

PSL及其库Prover SL CE是一个模型检查器，能够对大型工业系统进行形式化验证。 对于有效属性，它会生成一个可由独立检查人员检查的验证日志。 对于伪造的属性，它会生成一个反例并提供强大的内置调试帮助。

PSL是Prover 认证器中使用的模型检查器，它是CENELEC EN 50128 SIL 4级别用于签核验证的完整解决方案。

PSL还用于Prover iLock的验证器模块，Prover iLock是我们用于轨道联锁系统软件的完整开发套件。

PSL是我们的模型检验器Tecla、Prover SL和Prover SL DE的继承者，这些模型检验器已在轨道交通以及其他领域中广泛使用了很多年。

如果性能对您来说很重要，那就选择PSL。 目前为止，我们在面对工业系统问题时还没有发现其他具有类似性能的模型检查器。