TAPAAL HyperLTL：用于检查Petri网超属性的工具

这篇ArXiv文章介绍了TAPAAL HyperLTL，一个专门用于形式验证Petri网中超属性的工具。它的意义在于提供了先进的形式化验证能力，这对于需要严格安全性和安全性保证的复杂系统至关重要。

• •TAPAAL HyperLTL允许对Petri网中的超属性进行形式验证。
• •该工具针对需要严格安全性和安全保障的复杂系统。
• •该论文可在ArXiv上获取，表明处于早期研究阶段或技术报告。