Towards Modular Verification of Software Product Lines with mCRL2.

Maurice H. ter Beek Erik P. de Vink

Published in: ISoLA (1) (2014)

Keyphrases

software product line
product line
goal driven
software engineering
future directions
life cycle
learning methodologies
model checking
software development
adult literacy
product lines
teaching learning
artificial intelligence
case study
software architecture
test suite