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