Proof planning for feature interactions: A preliminary report

DOI10.1007/3-540-36078-6_7MaRDI QIDQ4428294zbMATH OpenFDO

Authors Claudio Castellini, Alan Smaill

Publication date 15 September 2003

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/2514/25140102.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Network design and communication in computer systems (68M10) Communication networks in operations research (90B18)

Recommendations

• Automated Deduction – CADE-20
• On feature interaction in telecommunication systems
• A new approach in feature interaction testing
• Formal modelling of services for getting a better understanding of the feature interaction problem: A multi-view approach
• Feature interaction detection by pairwise analysis of LTL properties -- A case study

Cited in

(1)

• Automated Deduction – CADE-20

Describes a project that uses

Uses Software

• Lambda-Clam

This page was built for publication: Proof planning for feature interactions: A preliminary report

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