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