Published March 29, 2019
| Version 2.0
Software
Open
Supplementary material for: "Static Analysis of Featured Transition Systems" SPLC 2019
Authors/Creators
- 1. ISTI-CNR, Italy
- 2. Univ. Turin, Italy
- 3. ONERA, France
- 4. ISTI-CNR
Description
Examples of Features Transition Systems, and python code performing the static analysis, related to the examples described in the paper: "Static Analysis of Featured Transition Systems" presented at SPLC 2019
Files
README.md
Files
(121.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6bb9f0d45cd37b91a6733566298b807f
|
6.6 kB | Preview Download |
|
md5:d7a0563d34c41f1182d03f561dc1bae2
|
115.0 kB | Preview Download |