Continuous verification - platooning case
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/8314258
下载链接
链接失效反馈官方服务：
资源简介：
This repository provides raw data used in the paper
"Continuous Verification with Acknowledged MAPE-K Pattern and Time Logic-based Slicing: A platooning System of Systems Case Study".
Related tools include the PRISM model checker (https://github.com/prismmodelchecker/prism.git) and the platooning simulator (https://github.com/KAIST-SE-Lab/StarPlateS).
The Original folder is the data obtained from the existing simulator.
The CVplatooning folder is data obtained by improving the existing simulator.
Finally, the slicing folder provides the existing model verification results and model slicing verification results.
创建时间：
2023-09-04
