Published January 24, 2023
| Version v1
Dataset
Open
Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study
Description
Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study
Files
Artifact README.pdf
Files
(2.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a5fa6b799b3e38549d6ffc0ff194e0af
|
101.6 kB | Preview Download |
|
md5:40f7b9b78b28930862eb4294366ebe07
|
28.6 kB | Download |
|
md5:d9d9a0faae6d4222f7f829a5972d13f3
|
41.8 kB | Preview Download |
|
md5:faf9334a49a5478cb3464905bee7a1a0
|
98.8 kB | Preview Download |
|
md5:2e7e1d1486ae4a713bd348bf103c528a
|
2.1 MB | Preview Download |