Formal verification of feature interactions

J. Leneutre; R. Tingaud

Formal 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 benefits of using formal methods are not easy to quantify. In the area of public telecommunications, the benefits, from the user's point of view, mainly increase the quality of services, and reduces the number of unexpected behaviors. In some cases, identifying gaps, undefined situations or even errors in the implementation may also prevent some mistakes which might be embarrassing for the service provider.

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

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@misc{9df09dad5ac44419ac0f2e02678e4cff,

title = "Formal verification of feature interactions",

abstract = "The benefits of using formal methods are not easy to quantify. In the area of public telecommunications, the benefits, from the user's point of view, mainly increase the quality of services, and reduces the number of unexpected behaviors. In some cases, identifying gaps, undefined situations or even errors in the implementation may also prevent some mistakes which might be embarrassing for the service provider.",

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

year = "1999",

month = jan,

day = "1",

language = "English",

pages = "16--18",

journal = "Alcatel Telecommunications Review",

issn = "1267-7167",

}

TY - GEN

T1 - Formal verification of feature interactions

AU - Leneutre, J.

AU - Tingaud, R.

PY - 1999/1/1

Y1 - 1999/1/1

N2 - The benefits of using formal methods are not easy to quantify. In the area of public telecommunications, the benefits, from the user's point of view, mainly increase the quality of services, and reduces the number of unexpected behaviors. In some cases, identifying gaps, undefined situations or even errors in the implementation may also prevent some mistakes which might be embarrassing for the service provider.

AB - The benefits of using formal methods are not easy to quantify. In the area of public telecommunications, the benefits, from the user's point of view, mainly increase the quality of services, and reduces the number of unexpected behaviors. In some cases, identifying gaps, undefined situations or even errors in the implementation may also prevent some mistakes which might be embarrassing for the service provider.

UR - https://www.scopus.com/pages/publications/0032643018

M3 - Article

AN - SCOPUS:0032643018

SN - 1267-7167

SP - 16

EP - 18

JO - Alcatel Telecommunications Review

JF - Alcatel Telecommunications Review

ER -

Formal verification of feature interactions

Résumé

Autres fichiers et liens

Empreinte digitale

Contient cette citation