Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

DOI10.7561/SACS.2016.1.69zbMath1424.68039OpenAlexW2573846983MaRDI QIDQ4621201

Shoham Ben-David, Aliakbar Safilian, Thomas S. E. Maibaum, Zinovy Diskin

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2016.1.69

zbMATH Keywords

software product linesfeature modelsfaithful semanticspartial product CTLpartial product Kripke structurespartial product lines

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Faithful Modeling of Product Lines with Kripke Structures and Modal Logic