|
|
|
| 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 |
|||||||||||