Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
DOI10.7561/SACS.2016.1.69zbMATH Open1424.68039OpenAlexW2573846983MaRDI QIDQ4621201FDOQ4621201
Authors: Zinovy Diskin, Aliakbar Safilian, Tim Maibaum, Shoham Ben-David 
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
Recommendations
- Modeling product lines with Kripke structures and modal logic
- On the Products of Linear Modal Logics
- Kripke models for linear logic
- scientific article; zbMATH DE number 2090099
- Models for relevant modal logics
- scientific article; zbMATH DE number 4114591
- Modal logics for knowledge representation systems
- scientific article; zbMATH DE number 176123
- Structuring logic programs: a modal approach
software product linesfeature modelsfaithful semanticspartial product CTLpartial product Kripke structurespartial product lines
Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cited In (6)
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects
- On logical and extensional characterizations of attributed feature models
- Title not available (Why is that?)
- On the benefits of knowledge compilation for feature-model analyses
- Modeling product lines with Kripke structures and modal logic
- Approach of feature dependency modeling for software product line
This page was built for publication: Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621201)
