Boogie Consistency Checker: Replication Package
收藏数据链接：
官方服务：
资源简介：
This is the replication package for the paper: Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
提供机构：
figshare创建时间：
2025-08-22
社区交流群
科研交流群
商业服务