Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs"
收藏官方服务：
资源简介：
This archive contains the benchmark programs used in the POPL'24 paper "Commutativity Simplifies Proofs of Parameterized Programs" by A. Farzan, D. Klumpp and A. Podelski. https://doi.org/10.1145/3632925 A preprint of the paper can be found at https://arxiv.org/abs/2311.02673.
提供机构：
Zenodo创建时间：
2023-11-13
