Specifying and Verifying Future Conditions

Published August 1, 2025 | Version v1

Dataset Open

Please refer to the READEME.md file for artifact evaluation and trying out the tool.

Files

Name	Size
README.md md5:055ff16c0d5be81f36c40eee5e302152	5.7 kB	Preview Download
SAS_FutureCond_Artifact.zip md5:5941c905d3a61fabfdbc0a58f923b2fe	239.3 MB	Preview Download

184

Views

119

Downloads

Show more details

DOI

Resource type

Dataset

Publisher

Zenodo

License: 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