We survey existing approaches as a first step towards a unifying view on variability mechanisms in formal modeling techniques for product lines. We illustrate ...
ABSTRACT. As software product lines are increasingly used for safety-critical systems, researchers have adapted formal verification techniques.
Jan 21, 2015 · We survey existing approaches as a first step towards a unifying view on variability mechanisms in formal modeling techniques for product lines.
This paper presents a survey of formal verification and validation (FV&V) techniques for IoT systems, with a focus on the challenges and open issues in this ...
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. In VaMoS'15. ACM, 80:80--80:87. Digital Library · Google Scholar.
Jul 1, 2016 · In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in ...
Formal methods for verifying SPLs are thus crucial and actively studied. The verification problem for SPL is, however, more complicated than for individual ...
Missing: Survey | Show results with:Survey
In this paper we introduce the process algebra PL-CCS as a product line extension of CCS and show how to model the overall behavior of an entire family within ...
Missing: Survey | Show results with:Survey
Sep 7, 2018 · ... A survey on modeling techniques for formal behavioral verification of software product lines. In: Proceed- ings of the Ninth International ...
ProVeLines is a product line of verifiers for SPLs that incorporates the results of over three years of research on formal verification of SPLs, ...