Actions
shareshare link cite add Please grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added 0 works in your ORCID record related to the merged Research product.
See an issue? Give us feedback
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.
You have already added 0 works in your ORCID record related to the merged Research product.
You have already added 0 works in your ORCID record related to the merged Research product.
Research software . Software . 2021
SuSLik (CAV 2021 Artifact): Code and Benchmarks
Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey;
Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey;
Open Access
Published: 28 May 2021
Publisher: Zenodo
Abstract
Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021. Download suslik-v0.5-cav21-artifact.zip archive, unpack it, and follow instructions in the README.md file in the root of the project.
See an issue? Give us feedback
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.