VeriBench: Analyzing the Performance of Database Systems with Verifiability[J] PROCEEDINGS OF THE VLDB ENDOWMENT 2023(16) Yue, Cong Zhang, Meihui Zhu, Changhao Chen, Gang Loghin, Dumitrel Ooi, Beng Chin
