Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

DOI10.7561/SACS.2016.1.69zbMATH Open1424.68039OpenAlexW2573846983MaRDI QIDQ4621201FDOQ4621201

Shoham Ben-David, Aliakbar Safilian, Tim 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

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
• Structuring logic programs: a modal approach

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) 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 (1)

• Title not available (Why is that?)

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)