Trustworthy Runtime Verification via Bisimulation (Experience Report)
收藏Zenodo2023-07-18 更新2026-05-26 收录
下载链接：
https://zenodo.org/record/7978325
下载链接
链接失效反馈官方服务：
资源简介：
This contains two files: * copilot-verifier-artifact-vm-<md5sum>.tgz: A virtual machine containing the artifact for the ICFP 2023 paper <em>Trustworthy Runtime Verification via Bisimulation (Experience Report)</em>. * copilot-verifier-artifact-source-<md5sum>.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.
提供机构：
Zenodo
创建时间：
2023-05-28
