An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification (Artifact)

There is a newer version of the record available.

Published October 3, 2023 | Version 0.0.1

Other Open

Artifact for the "An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification" paper

Files

Name	Size	Download all
placeholder.txt md5:178164f81917b8e87073295a635588de	12 Bytes	Preview Download

Citations

Oops! Something went wrong while fetching results.

270

Views

Downloads

Show more details

DOI

Resource type

Other

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more