Search

Your search keyword '"Michele Valfrè"' showing total 2 results
Start Over Author "Michele Valfrè"
2 results on '"Michele Valfrè"'

2. Static analysis and family-based model checking of featured transition systems with VMC

Author

Franco Mazzanti, Luca Paolini, Michele Valfrè, Giordano Scarso, Michael Lienhardt, Ferruccio Damiani, and Maurice H. ter Beek

Subjects
Model checking, SPL, Theoretical computer science, Computer science, MTS, Toolchain, software product lines, Feature (machine learning), tool support, Variability, Formal verification, VMC, formal verification, FTS, static analysis, variability, Deadlock, Static analysis, model checking, featured transition systems, configurable systems, Transition system, modal transition systems, State (computer science), variability models
Abstract

A Featured Transition System (FTS) is a formalism for modeling variability in configurable system behavior. The behavior of all variants (products) is modeled in a single compact FTS by associating the possibility to perform an action and transition from one state to another with feature expressions that condition the execution of an action in specific variants. We present a front-end for the research tool VMC. The resulting toolchain allows a modeler to analyze an FTS for ambiguities (dead or false optional transitions and hidden deadlock states), transform an ambiguous FTS into an unambiguous one, and perform an efficient kind of family-based verification of an FTS without hidden deadlock states. We use benchmarks from the literature to demonstrate the novelties offered by the toolchain.

Published
2021

Catalog

Books, media, physical & digital resources
See catalog results