Developing a Framework for Simulation, Verification and Testing of SDL Specifications
Description: 3-Nov-00: Specification and Description Language SDL

Specification and Description Language SDL
•A formal description technique standardized in 1988 by International Telecommunication Union
•Intended for description of communication protocols
•Used on a variety of distributed, concurrent, communicating, asynchronous systems
•Many support tools exists, but no framework for theorem-proving based verification
•Main building blocks are processes represented by extended finite-state machines and delaying and instantaneous communication links