Published February 3, 2021
| Version v1
Preprint
Open
Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC
Creators
- 1. ISTI-CNR, Pisa, Italy
- 2. University of Turin, Italy
- 3. ONERA, Palaiseau, France
Description
This is a tool paper accompanying the following journal paper:
-
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini, Efficient Static Analysis and Verification of Featured Transition Systems. Empirical Software Engineering (2021). https://doi.org/10.1007/s10664-020-09930-8
Files
FTS4VMC.pdf
Files
(1.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a22c75ffd0ba30ceb69273d943081c36
|
1.3 MB | Preview Download |
Additional details
Related works
- Cites
- Journal article: 10.1007/s10664-020-09930-8 (DOI)
- Conference paper: 10.1145/3336294.3336295 (DOI)
- Software: 10.5281/zenodo.2616646 (DOI)
- Is cited by
- Journal article: 10.1007/s10664-020-09930-8 (DOI)