S. Apel, H. Speidel, P. Wendler, A. von Rhein, and D. Beyer. Detection of feature interactions using feature-aware verification. In ASE'11, IEEE, 2011, 372--375.

Digital Library

Google Scholar

[3]

P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability. In IFM'10, LNCS 6396, Springer, 2010, 43--58.

Digital Library

Google Scholar

[4]

P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. Formal Description of Variability in Product Families. In SPLC'11, IEEE, 2011, 130--139.

Digital Library

Google Scholar

[5]

M. H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti. A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76, 2 (2011), 119--135.

Digital Library

Google Scholar

[6]

M. H. ter Beek, F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. In FM'12. To appear in LNCS 7436, Springer, 2012.

Google Scholar

[7]

E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8, 2 (1986), 244--263.

Digital Library

Google Scholar

[8]

A. Classen, M. Cordy, P. Heymans, A. Legay, and P.-Y. Schobbens. Model Checking Software Product Lines with SNIP. To appear in Int. J. Softw. Tools Technol. Transfer, 2012.

Google Scholar

[9]

N. D'Ippolito, D. Fischbein, M. Chechik, and S. Uchitel. MTSA: The Modal Transition System Analyser. In ASE'08, IEEE, 2008, 475--476.

Digital Library

Google Scholar

[10]

A. Fantechi, S. Gnesi, A. Lapadula, F. Mazzanti, R. Pugliese, and F. Tezzi. A Logical Verification Methodology for Service-Oriented Computing. ACM Trans. Softw. Eng. Methodol. 21, 3, Article 16 (2012), 1--46.

Digital Library

Google Scholar

[11]

D. Fischbein, S. Uchitel, V. A. Braberman. A foundation for behavioural conformance in software product line architectures. In ROSATEA'06, ACM, 2006, 39--48.

Digital Library

Google Scholar

[12]

S. Gnesi, F. Mazzanti. On the Fly Verification of Networks of Automata. In PDPTA'99, CSREA, 1999, 1040--1046.

Google Scholar

[13]

A. Pnueli. The temporal logic of programs. In FOCS'77, IEEE, 1977, 46--57.

Digital Library

Google Scholar

Cited By

View all

Narwane GMillo JKrishna SRamesh S(2019)Design variability verification in Software Product LinesSādhanā10.1007/s12046-018-1009-544:1Online publication date: 2-Jan-2019
https://doi.org/10.1007/s12046-018-1009-5
ter Beek MGnesi SMazzanti F(2015)Model Checking Value-Passing Modal SpecificationsPerspectives of System Informatics10.1007/978-3-662-46823-4_25(304-319)Online publication date: 19-Apr-2015
https://doi.org/10.1007/978-3-662-46823-4_25
ter Beek MMazzanti FGnesi SFantechi A(2014)VMCProceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 210.1145/2647908.2655969(70-77)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2647908.2655969
Show More Cited By

Index Terms

Demonstration of a model checker for the analysis of product variability
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods
        Model checking
2. Theory of computation
  1. Logic
    1. Verification by model checking

Recommendations

Software product line analysis with mCRL2
SPLC '14: Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2

The mCRL2 language and supporting software provide a state-of-the-art tool suite for the verification of distributed systems. In this paper, we present the general principles, extrapolated from [7,8], which make us believe that mCRL2 can also be used ...
Tool-Supported Verification of Product Line Requirements

A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no automated way to verify the completeness and consistency of the new ...
Design and validation of variability in product lines
PLEASE '11: Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering

We propose an emerging solution technique, pushing the application of model-checking techniques to the design and validation of variability in a product line (PL), mainly aimed at those industrial domains where model-based development is adopted for the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2

September 2012

287 pages

ISBN:9781450310956

DOI:10.1145/2364412

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Tuscany Region

Conference

SPLC - Vol. II

Sponsor:

Pure-Systems
Petrobras
SEBRAE
FAPESB
INES
IEEE
Software Eng Inst
Biglever
CAPES

SPLC - Vol. II: 16th International Software Product Line Conference

September 2 - 7, 2012

Salvador, Brazil

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
110
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Narwane GMillo JKrishna SRamesh S(2019)Design variability verification in Software Product LinesSādhanā10.1007/s12046-018-1009-544:1Online publication date: 2-Jan-2019
https://doi.org/10.1007/s12046-018-1009-5
ter Beek MGnesi SMazzanti F(2015)Model Checking Value-Passing Modal SpecificationsPerspectives of System Informatics10.1007/978-3-662-46823-4_25(304-319)Online publication date: 19-Apr-2015
https://doi.org/10.1007/978-3-662-46823-4_25
ter Beek MMazzanti FGnesi SFantechi A(2014)VMCProceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 210.1145/2647908.2655969(70-77)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2647908.2655969
Beek MFantechi AGnesi S(2014)Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing SystemsPart I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 880210.1007/978-3-662-45234-9_25(351-367)Online publication date: 8-Oct-2014
https://dl.acm.org/doi/10.1007/978-3-662-45234-9_25
ter Beek MLafuente APetrocchi M(2013)Combining declarative and procedural views in the specification and analysis of product familiesProceedings of the 17th International Software Product Line Conference co-located workshops10.1145/2499777.2500722(10-17)Online publication date: 26-Aug-2013
https://dl.acm.org/doi/10.1145/2499777.2500722
Atlee JBeidu SDay NFaghih FShaker P(2013)Recommendations for improving the usability of formal methods for product lines2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)10.1109/FormaliSE.2013.6612276(43-49)Online publication date: May-2013
https://doi.org/10.1109/FormaliSE.2013.6612276
Millo JRamesh SKrishna SNarwane G(2013)Compositional Verification of Software Product LinesIntegrated Formal Methods10.1007/978-3-642-38613-8_8(109-123)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38613-8_8

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Software product line analysis with mCRL2

Tool-Supported Verification of Product Line Requirements

Design and validation of variability in product lines