Title :
Verifying SDL programs using Petri nets
Author_Institution :
Dept. of Comput. Sci., Helsinki Univ. of Technol., Espoo, Finland
Abstract :
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.
Keywords :
Petri nets; program verification; reachability analysis; specification languages; Emma; Maria; PROD Predicate/Transition net reachability analyser; Petri nets; SDL front-end; SDL programs verification; industrial applications; modular analyser; Application software; Asynchronous communication; Computer industry; Computer science; Digital systems; Laboratories; Petri nets; Telecommunications;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725410
