HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Analysing Feature Interactions with Automated Deduction Systems

Francis Klay 1 Michaël Rusinowitch 2 Sorin Stratulat 2
2 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Finding feature interactions in telephony systems becomes more problematic with the continuously increasing number of services offered by them. In this paper, we present how to employ an automated system for proving properties of formal specifications of telephony services. We outline a technique to specify telephony services at an abstract level. The methodology we have developed allows the use of automated deduction systems for off-line detection of interactions from the user point of view and helps for their resolution.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:41:09 AM
Last modification on : Friday, February 4, 2022 - 3:30:44 AM


  • HAL Id : inria-00099001, version 1



Francis Klay, Michaël Rusinowitch, Sorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems. 7th International Conference on Telecommunication Systems Modeling & Analysis, Bezalel Gavish, 1999, Nashville, Tennessee, USA, 33 p. ⟨inria-00099001⟩



Record views