This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural Static Analysis Framework for C/C++" by Philipp Dominik Schubert, Ben Hermann and Eric Bodden. The art
This repository contains the dataset and scripts to reproduce Table 1 and Table 2 in the paper "Verifying the Option Type with Rely-Guarantee Reasoning". Requirements Please see REQUIREMENTS.md for
