| Related Work |
|
|
|
|
|
|
|
|
|
|
|
|
| • | Other
approaches to verification of SDL |
||||||||||
| specifications are based on model checkers. |
|||||||||||
| A
couple of examples |
|||||||||||
| – | IF
system from Verimag converts SDL to |
||||||||||
| PROMELA
and uses SPIN model checker |
|||||||||||
| – | A
proprietary verification system at Siemens |
||||||||||
| relies
on a BDD-based symbolic checker |
|||||||||||