Validating SDL Specifications: An Experiment
| Author(s) : | Joanna Patti Gerard J. Holzmann, |
| Publisher : | N/A |
| Publication Date : | 1989 |
| ISSN : | N/A |
| Abstract : | This paper describes a method for validating specifications written in the CCITT language SDL. The method has been implemented as part of an experimental validation system. With the experimental system we have been able to perform exhaustive analyses of systems with over 250 million reachable composite system states. The practicality of the tool for the analysis of substantial portions of AT&T?s 5ESS Switch code is now being studied., |