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 |