Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of the "Empirical Software Engineering Journal" (Springer).

doi:10.5281/zenodo.3576356

Published December 15, 2019 | Version 3.0

Software Open

Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of the "Empirical Software Engineering Journal" (Springer).

1. ISTI-CNR, Italy
2. Univ. Turin, Italy
3. ONERA, France
4. ISTI-CNR

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 (964.3 kB)

Name	Size	Download all
README.md md5:031f2636f7bf778bad4d05d576bf8574	6.7 kB	Preview Download
version-3.zip md5:17ef77e7ac889e0e0a63c0fc1b0aa8fb	957.6 kB	Preview Download

323

Views

134

Downloads

Show more details

	All versions	This version
Views	323	151
Downloads	134	43
Data volume	56.5 MB	28.9 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: December 15, 2019
Modified: January 25, 2020

Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of the "Empirical Software Engineering Journal" (Springer).

Creators

Description

Files

README.md

Files (964.3 kB)