This artifact serves the goal of reproducing and validating the results presented in the associated research paper, “Verifying Declarative Smart Contracts.” Additionally, DeConVerifier serves as a tool for further study and comparison within the domain of declarative smart contract verification.

We are applying for the “Available” and “Reusable” badge.

Reviewers evaluating this artifact are expected to possess basic Docker operations skills.

Operating Systems and Environments: DeConVerifier is containerized with Docker, making it compatible with various operating systems.