Formal properties collected from practical model-checking projects
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/7759741
下载链接
链接失效反馈官方服务：
资源简介：
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.
Please cite:
Pakonen A., Buzhinsky, I., Vyatkin, V. Evaluation of visual property specification languages based on practical model-checking experience.Journal of Systems and Software, vol. 216, October 2024, 112153. https://doi.org/10.1016/j.jss.2024.112153
创建时间：
2024-07-30
