[Artifact] Deductive Verification Techniques for Embedded Systems
收藏DataCite Commons2026-03-17 更新2026-03-28 收录
下载链接：
https://data.4tu.nl/datasets/d8ae8650-ce6a-413d-a822-0114ed8680c2/1
下载链接
链接失效反馈官方服务：
资源简介：
This is the artifact for the doctoral thesis <em>Deductive Verification Techniques for Embedded Systems</em>. It contains case study data for the experiments described in the thesis, from the raw case studies over intermediate encodings to the final PVL program that was verified with VerCors to give the verification times reported in the thesis. More details can be found in the included README.
提供机构：
4TU.ResearchData
创建时间：
2026-03-17
