In: D. Bosnacki, S Leue (Eds.): Model Checking Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, pages 1-246pp. Springer Verlag, LNCS 2318, May 2002.
Abstract: This paper describes a sample modelling and verification session using SDL and SPIN modelchecker via the PEP tool. We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL specifications. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.