Published March 29, 2019
| Version v1
Software
Open
Supplementary material for: "Static Analysis of Featured Transition Systems"
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".
Files
README.md
Files
(61.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:a9122fe392cf0e3c559f3f459e7735e9
|
8.2 kB | Download |
|
md5:a88af4a3b0083baf669da5bfcb23c43f
|
6.0 kB | Download |
|
md5:93fe1afcc117b2e8104dc9fad0064c41
|
2.7 kB | Download |
|
md5:83b18da4de615f4bc4d61545ab2030ed
|
958 Bytes | Download |
|
md5:e62637ea8a114355b985fd86c9ffbd6e
|
35.8 kB | Download |
|
md5:6c9e52fc323ebb250351ec402d7a9b81
|
4.5 kB | Download |
|
md5:76b17cad98fad029ae4cae6f017dcfa4
|
3.4 kB | Preview Download |