Published January 25, 2023
| Version v3
Dataset
Open
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
Authors/Creators
- 1. Tel Aviv University
- 2. Bauhaus University Weimar
Description
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
Files
Artifact README.pdf
Files
(46.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f9991a634932cb14f06eb24e7da9a41d
|
209.5 kB | Preview Download |
|
md5:e4ddac661694d9c609bffc488dd2afcb
|
46.6 MB | Preview Download |