Modeling Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin Aliakbar Safilian Tom Maibaum Shoham Ben-David

Published in: ICTAC (2015)

Keyphrases

modal logic
temporal logic
inference rules
epistemic logic
product line
product lines
classical logic
model checking
situation calculus
conditional logic
nonmonotonic logics
autoepistemic logic
default logic
dynamic logic
kripke models
prime implicates
data model
modal operators
logic programming
software development