Formal properties collected from practical model-checking projects

Since 2008, VTT has been applying model checking in practical customer projects in the Finnish nuclear and railway industries. We have collected 3923 formal properties specified and verified by VTT analysts in the those projects between the years 2014 and 2022. To mask confidential data, we have removed the references to the original model variables, and only preserved the temporal structure of each property.自2008年起，VTT便将模型检测（model checking）技术应用于芬兰核电与铁路行业的实际客户项目中。我们在2014至2022年间的上述项目内，收集了3923项由VTT分析师指定并验证的形式化属性（formal property）。为隐藏机密数据，我们已移除所有对原始模型变量的引用，仅保留了各属性的时序结构。