References & Citations
Computer Science > Logic in Computer Science
Title: muRelBench: MicroBenchmarks for Zonotope Domains
(Submitted on 24 Apr 2024)
Abstract: 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.
Link back to: arXiv, form interface, contact.