Model Checking C++ Programs - Replication Package

A fully-labeled C++ program suite 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 suite includes more than 1,500 C++03 programs, which cover different aspects of the language, including excep... View More