Click here to flash read.
arXiv:2404.16243v1 Announce Type: new
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.
Click here to read this post out
ID: 822240; Unique Viewers: 0
Unique Voters: 0
Total Votes: 0
Votes:
Latest Change: April 26, 2024, 7:31 a.m.
Changes:
Dictionaries:
Words:
Spaces:
Views: 11
CC:
No creative common's license
No creative common's license
Comments: