Viper: A Fast Snapshot Isolation Checker
Jian Zhang, Ye Ji, Shuai Mu, Cheng Ling Tan · 2023
Snapshot isolation (SI) is supported by most commercial databases and is widely used by applications. However, checking SI today---given a set of transactions, checking if they obey SI---is either slow or gives up soundness.