Feature interaction detection by pairwise analysis of LTL properties -- A case study

DOI10.1007/S10703-006-0002-5zbMath1103.68377OpenAlexW1976758788WikidataQ59675375 ScholiaQ59675375MaRDI QIDQ853722

Muffy Calder, Alice Ann Miller

Publication date: 17 November 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-006-0002-5

zbMATH Keywords

distributed systemsmodel checkingfeature interactioncommunicating processescommunications services

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (2)

Modular modelling of signalling pathways and their cross-talk ⋮ Type inference and strong static type checking for Promela

Uses Software

• SPIN

Cites Work

• Characterizing finite Kripke structures in propositional temporal logic
• The temporal semantics of concurrent programs
• Slicing software for model construction
• A structural induction theorem for processes
• “Sometimes” and “not never” revisited
• Reasoning about systems with many processes
• On Reasoning About Rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Feature interaction detection by pairwise analysis of LTL properties -- A case study