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