muRelBench: MicroBenchmarks for Zonotope Domains
<|reference_start|>muRelBench: MicroBenchmarks for Zonotope Domains: We present \texttt{muRelBench}, a suite of synthetic benchmarks for weakly-relational abstract domains and their operations. For example, the benchmarks can support experimental evaluations of proposed algorithms such as domain closure.<|reference_end|>
@article{ballou2024murelbench:,
    title={muRelBench: MicroBenchmarks for Zonotope Domains},
    author={Kenny Ballou and Elena Sherman},
    journal={arXiv preprint arXiv:2404.16243},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.16243},
    primaryClass={cs.LO cs.SE}
}