A forival verification of feature interactions

J. Leneutre; R. Tingaud

A forival verification of feature interactions

J. Leneutre
, R. Tingaud

Research and Invovation Department

Résultats de recherche: Contribution à une publication spécialisée › Article

Résumé

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.

langue originale	Anglais
Pages	16-18
Nombre de pages	3
Non	3
Publication spécialisée	Alcatel Telecommunications Review
état	Publié - 1 sept. 2003
Modification externe	Oui

Contient cette citation

@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

Résumé

Empreinte digitale

Contient cette citation