Published January 25, 2023
| Version v2
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.txt
Files
(46.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:77a6b2de0b9f7f14152209e3bd6a16b3
|
405 Bytes | Preview Download |
|
md5:e4ddac661694d9c609bffc488dd2afcb
|
46.6 MB | Preview Download |