Abstract
The use of formal verification of feature interactions by Alcatel is discussed. Many unexpected situations may arise from the interactions between these features. A case study of the interaction of two supplementary services is described. A test which has been formally proved, using a proof assistant tool, that is necessary, sufficient and minimal in the presence of two features is designed. The combination of three features is considered which arrived at similar results.
| Original language | English |
|---|---|
| Pages | 16-18 |
| Number of pages | 3 |
| No. | 3 |
| Specialist publication | Alcatel Telecommunications Review |
| Publication status | Published - 1 Sept 2003 |
| Externally published | Yes |