Sciweavers

Share
PRDC
2002
IEEE

Detecting Feature Interactions in Telecommunication Services with a SAT Solver

12 years 4 months ago
Detecting Feature Interactions in Telecommunication Services with a SAT Solver
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper we present an automatic method for detecting feature interactions in service specifications. This method uses bounded model checking, a SAT-based automatic verification technique.
Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikun
Added 15 Jul 2010
Updated 15 Jul 2010
Type Conference
Year 2002
Where PRDC
Authors Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
Comments (0)
books