DETECTING FEATURE INTERACTIONS WITH CAESAR ALDEBARAN/

Bouma and Zuidweg (Dutch PTT) formalised a simple example of feature i nteraction between two telephone services in LOTOS. The interaction ta kes place between the Abbreviated Dialling and Originating Call Screen ing service in the IN CS-1 Global Functional Plane. This paper reports on the results that were gained by analysing the example in CAESAR/AL DEBARAN, which is an advanced LOTOS verification toolbox. The results show that even for very small examples, verification goes beyond simul ation and testing. (C) 1997 Elsevier Science B.V.