Trustworthy Runtime Verification via Bisimulation (Experience Report)
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/7978325
下载链接
链接失效反馈官方服务：
资源简介：
This contains two files:
* copilot-verifier-artifact-vm-.tgz: A virtual machine containing the artifact for the ICFP 2023 paper Trustworthy Runtime Verification via Bisimulation (Experience Report).
* copilot-verifier-artifact-source-.tgz: The source code for the artifact itself. (The virtual machine above comes with this pre-installed.)
The code is licensed under the BSD 3-Clause License.
本数据集包含两个文件：
* copilot-verifier-artifact-vm-.tgz：一款搭载ICFP 2023会议论文《基于互模拟的可信运行时验证（实验报告）》对应实验工件的虚拟机（Virtual Machine）。
* copilot-verifier-artifact-source-.tgz：本实验工件的配套源代码。前述虚拟机已预装该源代码。
本代码遵循BSD 3条款许可证（BSD 3-Clause License）。
创建时间：
2023-07-18
