Model checking software product lines with SNIP
- 14 June 2012
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 14 (5), 589-612
- https://doi.org/10.1007/s10009-012-0234-1
Abstract
No abstract availableThis publication has 31 references indexed in Scilit:
- A text-based approach to feature modelling: Syntax and semantics of TVLScience of Computer Programming, 2011
- Detection of feature interactions using feature-aware verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Design and validation of variability in product linesPublished by Association for Computing Machinery (ACM) ,2011
- Symbolic model checking of software product linesPublished by Association for Computing Machinery (ACM) ,2011
- Tag and prunePublished by Association for Computing Machinery (ACM) ,2010
- Model checking lots of systemsPublished by Association for Computing Machinery (ACM) ,2010
- A Logical Framework to Deal with VariabilityLecture Notes in Computer Science, 2010
- Feature Models, Grammars, and Propositional FormulasLecture Notes in Computer Science, 2005
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992