A forival verification of feature interactions

J. Leneutre; R. Tingaud

A forival verification of feature interactions

J. Leneutre
, R. Tingaud

Research and Invovation Department

Research output: Contribution to specialist publication › Article

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

Cite this

@misc{e261adca02384b94bbb9ecb7e976a10f,

title = "A forival verification of feature interactions",

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.",

author = "J. Leneutre and R. Tingaud",

year = "2003",

month = sep,

day = "1",

language = "English",

pages = "16--18",

journal = "Alcatel Telecommunications Review",

issn = "1267-7167",

}

TY - GEN

T1 - A forival verification of feature interactions

AU - Leneutre, J.

AU - Tingaud, R.

PY - 2003/9/1

Y1 - 2003/9/1

N2 - 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.

AB - 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.

M3 - Article

AN - SCOPUS:2442705282

SN - 1267-7167

SP - 16

EP - 18

JO - Alcatel Telecommunications Review

JF - Alcatel Telecommunications Review

ER -

A forival verification of feature interactions

Abstract

Fingerprint

Cite this