Developing a Framework for Simulation, Verification and Testing of SDL Specifications
Specification and Description Language SDL
Example of Modeling with
SDL:
a simple communication protocol
Protocol Modeling in SDL: Part 1
Protocol Modeling in SDL: Part 2
Simulator vs. Specification Verification
SDL Specifications Simulator Architecture
Communication Network
Translation