Verifying SDL programs using Petri nets.

For the most recent entries see the Petri Nets Newsletter.

Verifying SDL programs using Petri nets.

In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 208-213. October 1998.

Abstract: The use of an SDL front-end Emma generating models for the PROD predicate/transition net reachability analyzer is presented and the practical problems in industrial applications are discussed. The new modular analyzer Maria is also presented.

Keywords: EMMA, MARIA, PROD, SDL, predicate/transition Petri nets, program verification, reachability analysis.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography