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
main-artifact.pdf
Files
(710.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:44fdf95d9fb95649de2f78c0641a9d21
|
6.2 kB | Download |
|
md5:d628d8d0b2eb4dfe17d407486c34fe24
|
1.4 kB | Download |
|
md5:8242274c450867fdd6724b9041d41f0e
|
8.1 kB | Download |
|
md5:cd469d9aa9738ae59bacdd3d45d6576e
|
5.9 kB | Download |
|
md5:a85e1a91cb644f1f04461bd09bce7273
|
4.0 kB | Download |
|
md5:d118569b003ba6ad17cc43e5991c8a09
|
953 Bytes | Download |
|
md5:e62637ea8a114355b985fd86c9ffbd6e
|
35.8 kB | Download |
|
md5:4e535398882e938c7f8c70dc8cfd0f88
|
578.3 kB | Preview Download |
|
md5:f7c484efc7188d09a42fdb72a1d47d84
|
54.0 kB | Download |
|
md5:129fc1259dfacfaac874585824d0f550
|
4.4 kB | Download |
|
md5:18a1b833fb301c51990b99c3b03de311
|
2.3 kB | Download |
|
md5:515c838c762fdcefea524a7d3d5b9d32
|
8.3 kB | Preview Download |
|
md5:6060e4dc89f7016d5e1f0f64fe4cfcd4
|
1.0 kB | Download |