Date created: | Last Updated:
: DOI | ARK
Creating DOI. Please wait...
Category: Data
Description: Part of the dataset for our paper entitled "Streamlining Temporal Formal Verification over Columnar Databases". The rest of the dataset is available at our previous repository, https://osf.io/arxf8/