Practical methods for the formal validation of SDL specifications
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
Validating SDL Specifications: an Experiment
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
A general approach to securely querying XML
Computer Standards & Interfaces
Sdl2pml - Tool for automated generation of Promela model from SDL specification
Computer Standards & Interfaces
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Hi-index | 0.00 |
This paper presents our research in the domain of automated generation of a model from an SDL (Specification and Description Language) system specification. We use the Spin (Simple Promela Interpreter) formal verification tool and the Promela (Process Meta-Language) language for the description of the model. If the model is prepared manually, we need an expert with the detailed knowledge of the system, specification language, and modelling language. This method is prone to the incorrect modelling of the system's properties due to the human error. Therefore, automatic generation of the model from the SDL specification is desired.