Published April 9, 2024
| Version v1
Software
Open
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas (Artifact)
Creators
-
1.
Tel Aviv University
-
2.
University of Wisconsin–Madison
- 3. VMware Research
Files
qalpha-artifact.zip
Files
(1.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:ebf043f7510d4bb5f15880017ca14abf
|
1.2 GB | Preview Download |