Incremental model checking of delta-oriented software product lines

DOI10.1016/J.JLAMP.2015.09.004zbMath1346.68061OpenAlexW2208993337MaRDI QIDQ898621

Hauke Baller, Malte Lochau, Stephan Mennicke, Lars Ribbeck

Publication date: 18 December 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.09.004

zbMATH Keywords

operational semanticsmodel checkingvariability modeling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Related Items (2)

Family-Based SPL Model Checking Using Parity Games with Variability ⋮ DeltaCCS

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Incremental Model-Based Testing of Delta-Oriented Software Product Lines
• Adaptable processes
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: Incremental model checking of delta-oriented software product lines