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. 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