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

DOI10.1007/S10703-006-0002-5MaRDI QIDQ853722zbMATH OpenOpenAlexWikidataFDO

Authors M. Calder, Alice 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

model checkingdistributed systemsfeature interactioncommunicating processescommunications services

Mathematics Subject Classification ID

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

Recommendations

• Objects, Agents, and Features
• scientific article; zbMATH DE number 2088510
• scientific article; zbMATH DE number 2100584
• scientific article; zbMATH DE number 1744963
• A new approach in feature interaction testing

Cites work

• scientific article; zbMATH DE number 1614699 (Why is no real title available?)
• scientific article; zbMATH DE number 1670565 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1059330 (Why is no real title available?)
• scientific article; zbMATH DE number 1069486 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1744963 (Why is no real title available?)
• scientific article; zbMATH DE number 1796121 (Why is no real title available?)
• scientific article; zbMATH DE number 1418468 (Why is no real title available?)
• A structural induction theorem for processes
• Characterizing finite Kripke structures in propositional temporal logic
• On Reasoning About Rings
• Reasoning about systems with many processes
• Slicing software for model construction
• The temporal semantics of concurrent programs
• “Sometimes” and “not never” revisited

Cited in

(8)

• scientific article; zbMATH DE number 1744963 (Why is no real title available?)
• scientific article; zbMATH DE number 1949616 (Why is no real title available?)
• Modular modelling of signalling pathways and their cross-talk
• scientific article; zbMATH DE number 1980920 (Why is no real title available?)
• Type inference and strong static type checking for Promela
• scientific article; zbMATH DE number 2088510 (Why is no real title available?)
• scientific article; zbMATH DE number 2100584 (Why is no real title available?)
• Objects, Agents, and Features

Describes a project that uses

Uses Software

• SPIN

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853722)