Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087): Difference between revisions

Latest revision as of 12:47, 11 July 2024

scientific article; zbMATH DE number 6549978

Language	Label	Description	Also known as
English	Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints	scientific article; zbMATH DE number 6549978

Statements

instance of

scholarly article

0 references

title

Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (English)

0 references

0 references

0 references

0 references

0 references

Journal of Logical and Algebraic Methods in Programming

0 references

publication date

4 March 2016

0 references

zbMATH Keywords

model checking

0 references

modal transition systems

0 references

temporal logic

0 references

product families

0 references

variability

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.jlamp.2015.11.006

0 references

cites work

Q3396636

0 references

Q5322945

0 references

A state/event-based model-checking approach for the analysis of abstract system properties

0 references

From EU Projects to a Family of Model Checkers

0 references

Model Checking Value-Passing Modal Specifications

0 references

Parametric Modal Transition Systems

0 references

Q4536601

0 references

Q4818818

0 references

Automatic verification of finite-state concurrent systems using temporal logic specifications

0 references

All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.

0 references

Three logics for branching bisimulation

0 references

Comparing disjunctive modal transition systems with an one-selecting variant

0 references

Q3191614

0 references

Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings

0 references

Results on the propositional \(\mu\)-calculus

0 references

Modal I/O Automata for Interface and Product Line Theories

0 references

Q3992568

0 references

Modular Modelling of Software Product Lines with Feature Nets

0 references

Feature integration using a feature construct

0 references

Software Product Line Engineering

0 references

ProMoVer: Modular Verification of Temporal Safety Properties

0 references

Identifiers

zbMATH Open document ID

1351.68170

0 references

DOI

10.1016/j.jlamp.2015.11.006

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5963087

@@ Property / describes a project that uses @@
+MultiVeStA
@@ Property / describes a project that uses: MultiVeStA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VMC
@@ Property / describes a project that uses: VMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MSTA
@@ Property / describes a project that uses: MSTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProMoVer
@@ Property / describes a project that uses: ProMoVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPAchecker
@@ Property / describes a project that uses: CPAchecker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DeltaCCS
@@ Property / describes a project that uses: DeltaCCS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2015.11.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2219042429
@@ Property / OpenAlex ID: W2219042429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396636
@@ Property / cites work: Q3396636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A state/event-based model-checking approach for the analysis of abstract system properties
+Normal rank
@@ Property / cites work @@
+From EU Projects to a Family of Model Checkers
@@ Property / cites work: From EU Projects to a Family of Model Checkers / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Value-Passing Modal Specifications
@@ Property / cites work: Model Checking Value-Passing Modal Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Modal Transition Systems
@@ Property / cites work: Parametric Modal Transition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing disjunctive modal transition systems with an one-selecting variant
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank
@@ Property / cites work @@
+Feature integration using a feature construct
@@ Property / cites work: Feature integration using a feature construct / rank @@
+Normal rank
@@ Property / cites work @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+ProMoVer: Modular Verification of Temporal Safety Properties
+Normal rank