Experimental Data for Model Checking C++03 Programs
收藏IEEE2019-09-11 更新2026-04-17 收录
下载链接：
https://ieee-dataport.org/documents/experimental-data-model-checking-c03-programs
下载链接
链接失效反馈官方服务：
资源简介：
A fully-labeled C++03 program dataset provides a unique resource to evaluate model checkers in respect to language coverage. To tackle modern aspects of the C++ language, a large-scale benchmark dataset includes more than 1,500 C++03-compliant programs, which cover different aspects of the language, including exception handling, templates, inheritance, polymorphism, the standard template library, and object-oriented design.
提供机构：
University of Manchester; Federal University of Amazonas; SIDIA Instituto de Ciência e Tecnologia
创建时间：
2019-09-11
