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