We present the replication package and dataset that accompanies the paper “Verifying the Option Type with Rely–Guarantee Reasoning.” The replication package comprises scripts enabling the automated replication of Table 1 and Table 2 in the paper, the source code of the Optional Checker–the static verifier for the Java implementation of the option type–and the subject program dataset used in our experimental evaluation of the Optional Checker.

The full replication package is made publicly-accessible at: https://doi.org/10.5281/zenodo.13370306