•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