Published August 1, 2025
| Version v1
Dataset
Open
Specifying and Verifying Future Conditions
Authors/Creators
Description
Please refer to the READEME.md file for artifact evaluation and trying out the tool.
Files
README.md
Files
(239.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:055ff16c0d5be81f36c40eee5e302152
|
5.7 kB | Preview Download |
|
md5:5941c905d3a61fabfdbc0a58f923b2fe
|
239.3 MB | Preview Download |