Verifying SDL programs using Petri nets
Nisse Husberg · 2002
The use of an SDL front-end Emma generating models for the PROD Predicate/Transition net reachability analyser is presented and the practical problems in industrial applications are discussed. The new modular analyser Maria is also presented.