•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