Modeling Product Lines with Kripke Structures and Modal Logic

DOI10.1007/978-3-319-25150-9_12zbMath1471.68059OpenAlexW2256909495MaRDI QIDQ2787423

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

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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