Akter, Taslima; Akther, Tasmia; Sinha, Neeta
(East West University, 12/3/2016)
Feature diagrams are the most widely used to model product line variant. Formal
Verification of variant requirements has gained much interest in the software product line
(SPL) community. Successful development of a software ...