Using SPIN for feature interaction analysis -- a case study

DOI10.1007/3-540-45139-0_9MaRDI QIDQ4531757zbMATH OpenFDO

Authors M. Calder, Alice Miller

Publication date 23 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2057/20570143

zbMATH Keywords

analysis and reasoning techniquescommunicating processesdistributed systemsfeature interactionformal modellingPromela/SPINtelecommunications services

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Using symbolic model checking to detect service interactions in telecommunication services
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• Objects, Agents, and Features
• scientific article; zbMATH DE number 2100584
• SPIN tutorial: How to become a SPIN doctor

Cited in

(3)

• SPIN tutorial: How to become a SPIN doctor
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• An automatic abstraction technique for verifying featured, parameterised systems

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Using SPIN for feature interaction analysis -- a case study

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