Published April 14, 2026
| Version v1
Peer review
Open
replication package for "An Empirical Study of LLM-Generated Specifications for VeriFast"
Authors/Creators
Files
ISSRE26-rep-package.zip
Files
(17.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8c8335ee601057daf18c27d3cf9097e3
|
17.4 MB | Preview Download |