Software Open Access
Theory Exploration Powered by Deductive Synthesis
Singher, Eytan; Itzhaky, Shachar
Theory exploration tool for synthesizing lemmas based on symbolic examples.
To import and run the docker image please run:
docker load -i cav2021-docker-img
Then use the created image to run:
docker run --memory="32g" -it --entrypoint bash <image name>
For more information see https://github.com/eytans/TheSy
Files
(2.0 GB)
| Name | Size | |
|---|---|---|
|
cav2021-docker-img
md5:a38c9594dd29ac43e44ddedc6405325d |
2.0 GB | Download |
|
import instructions.txt
md5:801dd5577bb9f3c3f2481097fab38c43 |
171 Bytes | Download |
517
74
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 517 | 259 |
| Downloads | 74 | 46 |
| Data volume | 92.4 GB | 50.7 GB |
| Unique views | 466 | 248 |
| Unique downloads | 60 | 40 |
Indexed in
- Publication date:
- April 28, 2021
- DOI:
-
- Keyword(s):
- Theory Exploration Automated Theorem Proving Verification Synthesis
- License (for files):
- Creative Commons Attribution 4.0 International