Trustworthy Runtime Verification via Bisimulation (Experience Report)
收藏数据链接：
官方服务：
资源简介：
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
