Feature interaction detection by pairwise analysis of LTL properties -- A case study
type: Item
instance of: scholarly article
title: Feature interaction detection by pairwise analysis of LTL properties -- A case study
zbMATH Open document ID: 1103.68377
author: M. Calder
author: Alice Miller
published in: Formal Methods in System Design
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5073683
zbMATH Keywords: communicating processes
zbMATH Keywords: distributed systems
zbMATH Keywords: model checking
zbMATH Keywords: feature interaction
zbMATH Keywords: communications services
Wikidata QID: Q59675375
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: s10703-006-0002-5
OpenAlex ID: W1976758788
cites work: Characterizing finite Kripke structures in propositional temporal logic
cites work: Q4531757
cites work: Q4942029
cites work: Slicing software for model construction
cites work: Q4385542
cites work: “Sometimes” and “not never” revisited
cites work: Q2723423
cites work: On Reasoning About Rings
cites work: Reasoning about systems with many processes
cites work: A structural induction theorem for processes
cites work: Q4356437
cites work: Q3141897
cites work: Q4353637
cites work: The temporal semantics of concurrent programs
cites work: Q4551131
cites work: Q2753767
DOI: 10.1007/S10703-006-0002-5
description: scientific article; zbMATH DE number 5073683