Formal semantics, modular specification, and symbolic verification of product-line behaviour
- 1 February 2014
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 80, 416-439
- https://doi.org/10.1016/j.scico.2013.09.019
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model CheckingIEEE Transactions on Software Engineering, 2012
- Model checking software product lines with SNIPInternational Journal on Software Tools for Technology Transfer, 2012
- A text-based approach to feature modelling: Syntax and semantics of TVLScience of Computer Programming, 2011
- Embedded Software: Facts, Figures, and FutureComputer, 2009
- Feature integration using a feature constructScience of Computer Programming, 2001
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000