References

  1. J.M. Atlee, S. Beidu, N.A. Day, F. Faghih & P. Shaker (2013): Recommendations for Improving the Usability of Formal Methods for Product Lines. In: S. Gnesi & N. Plat: FormaliSE. IEEE, pp. 43–49, doi:10.1109/FormaliSE.2013.6612276.
  2. B. Beckert, R. Hähnle & P.H. Schmitt (2007): Verification of Object-Oriented Software: The KeY Approach. Springer, doi:10.1007/978-3-540-69061-0.
  3. M.H. ter Beek, A. Fantechi, S. Gnesi & F. Mazzanti (2015): Using FMC for Family-Based Analysis of Software Product Lines. In: D.C. Schmidt: SPLC. ACM, pp. 432–439, doi:10.1145/2791060.2791118.
  4. M.H. ter Beek, A. Fantechi, S. Gnesi & F. Mazzanti (2016): Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. J. Log. Algebr. Meth. Program. 85(2), pp. 287–315, doi:10.1016/j.jlamp.2015.11.006.
  5. M.H. ter Beek, A. Lluch Lafuente & M. Petrocchi (2013): Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: D. Clarke: FMSPLE, SPLC, 2. ACM, pp. 10–17, doi:10.1145/2499777.2500722.
  6. M.H. ter Beek, F. Mazzanti & A. Sulova (2012): VMC: A Tool for Product Variability Analysis. In: D. Giannakopoulou & D. Méry: FM, LNCS 7436. Springer, pp. 450–454, doi:10.1007/978-3-642-32759-9_36.
  7. M.H. ter Beek & E.P. de Vink (2014): Towards Modular Verification of Software Product Lines with mCRL2. In: T. Margaria & B. Steffen: ISoLA, LNCS 8802. Springer, pp. 368–385, doi:10.1007/978-3-662-45234-9_26.
  8. M.H. ter Beek & E.P. de Vink (2014): Using mCRL2 for the Analysis of Software Product Lines. In: S. Gnesi & N. Plat: FormaliSE. IEEE, pp. 31–37, doi:10.1145/2593489.2593493.
  9. M.H. ter Beek, E.P. de Vink & T.A.C. Willemse (2016): Family-based model checking with mCRL2. Submitted.
  10. T. Belder, M.H. ter Beek & E.P. de Vink (2015): Coherent branching feature bisimulation. In: J.M. Atlee & S. Gnesi: FMSPLE, EPTCS 182, pp. 14–30, doi:10.4204/EPTCS.182.2.
  11. P. Borba, M.B. Cohen, A. Legay & A. Wasowski (2013): Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3(2), pp. 144–170, doi:10.4230/DagRep.3.2.144.
  12. J.C. Bradfield & C. Stirling (2001): Modal Logics and μ-Calculi: An Introduction. In: J.A. Bergstra, A. Ponse & S.A. Smolka: Handbook of Process Algebra, chapter 4. Elsevier, pp. 293–330, doi:10.1016/B978-044482830-9/50022-9.
  13. E.M. Clarke, O. Grumberg & D.A. Peled (1999): Model Checking. The MIT Press.
  14. A. Classen, M. Cordy, P. Heymans, A. Legay & P.-Y. Schobbens (2012): Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5), pp. 589–612, doi:10.1007/s10009-012-0234-1.
  15. A. Classen, M. Cordy, P. Heymans, A. Legay & P.-Y. Schobbens (2014): Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80(B), pp. 416–439, doi:10.1145/2499777.2499781.
  16. A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay & J.-F. Raskin (2013): Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Softw. Eng. 39(8), pp. 1069–1089, doi:10.1109/TSE.2012.86.
  17. A. Classen, P. Heymans, P.-Y. Schobbens & A. Legay (2011): Symbolic Model Checking of Software Product Lines. In: R.N. Taylor, H.C. Gall & N. Medvidovic: ICSE. ACM, pp. 321–330, doi:10.1145/1985793.1985838.
  18. A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay & J.-F. Raskin (2010): Model Checking \@@underline Lots\z@ of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In: J. Kramer, J. Bishop, P.T. Devanbu & S. Uchitel: ICSE. ACM, pp. 335–344, doi:10.1145/1806799.1806850.
  19. M. Cordy, A. Classen, P. Heymans, P.-Y. Schobbens & A. Legay (2013): ProVeLines: a product line of verifiers for software product lines. In: SPLC 2. ACM, pp. 141–146, doi:10.1145/2499777.2499781.
  20. S. Cranen, J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, E.P. de Vink, W. Wesselink & T.A.C. Willemse (2013): An Overview of the mCRL2 Toolset and Its Recent Advances. In: N. Piterman & S.A. Smolka: TACAS, LNCS 7795. Springer, pp. 199–213, doi:10.1007/978-3-642-36742-7_15.
  21. M. Erwig & E. Walkingshaw (2011): The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21(1):6, doi:10.1145/2063239.2063245.
  22. D. Fischbein, S. Uchitel & V.A. Braberman (2006): A foundation for behavioural conformance in software product line architectures. In: R.M. Hierons & H. Muccini: ROSATEA. ACM, pp. 39–48, doi:10.1145/1147249.1147254.
  23. J.F. Groote & R. Mateescu (1999): Verification of Temporal Properties of Processes in a Setting with Data. In: A.M. Haeberer: AMAST, LNCS 1548. Springer, pp. 74–90, doi:10.1007/3–540–49253–4_8.
  24. J.F. Groote & M.R. Mousavi (2014): Modeling and Analysis of Communicating Systems. The MIT Press.
  25. J.F. Groote & T.A.C. Willemse (2005): Model-checking processes with data. Sci. Comput. Program. 56(3), pp. 251–273, doi:10.1016/j.scico.2004.08.002.
  26. D. Kozen (1983): Results on the propositional μ-calculus. Theoret. Comput. Sci. 27(3), pp. 333–354, doi:10.1016/0304–3975(82)90125–6.
  27. K.G. Larsen, U. Nyman & A. Wasowski (2007): Modal I/O Automata for Interface and Product Line Theories. In: R. De Nicola: ESOP, LNCS 4421. Springer, pp. 64–79, doi:10.1007/978-3-540-71316-6_6.
  28. K. Lauenroth, K. Pohl & S. Töhning (2009): Model Checking of Domain Artifacts in Product Line Engineering. In: ASE. IEEE, pp. 269–280, doi:10.1109/ASE.2009.16.
  29. M. Leucker & D. Thoma (2012): A Formal Approach to Software Product Families. In: T. Margaria & B. Steffen: ISoLA, LNCS 7609. Springer, pp. 131–145, doi:10.1007/978-3-642-34026-0_11.
  30. M. Lochau, S. Mennicke, H. Baller & L. Ribbeck (2014): DeltaCCS: A Core Calculus for Behavioral Change. In: T. Margaria & B. Steffen: ISoLA, LNCS 8802. Springer, pp. 320–335, doi:10.1007/978-3-662-45234-9_23.
  31. M. Lochau, S. Mennicke, H. Baller & L. Ribbeck (2016): Incremental model checking of delta-oriented software product lines. J. Log. Algebr. Meth. Program. 85(1), pp. 245–267, doi:10.1016/j.jlamp.2015.09.004.
  32. I. Schaefer & R. Hähnle (2011): Formal Methods in Software Product Line Engineering. IEEE Comp. 44(2), pp. 82–85, doi:10.1109/MC.2011.47.
  33. T. Thüm, S. Apel, C. Kästner, I. Schaefer & G. Saake (2014): A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1), pp. 6:1–6:45, doi:10.1145/2580950.
  34. T. Thüm, I. Schaefer, M. Hentschel & S. Apel (2012): Family-Based Deductive Verification of Software Product Lines. In: K. Ostermann & W. Binder: GPCE. ACM, pp. 11–20, doi:10.1145/2371401.2371404.
  35. M. Tribastone (2014): Behavioral Relations in a Process Algebra for Variants. In: S. Gnesi, A. Fantechi, P. Heymans, J. Rubin & K. Czarnecki: SPLC. ACM, pp. 82–91, doi:10.1145/2648511.2648520.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org