For the most recent entries see the Petri Nets Newsletter.

Verification Oriented Specification of Distributed Systems in Estelle.

Petkov, A.; Dimitrov, V.; Bojanova, I.

In: 1988: Informatik Informationen, Reporte, Nr. 16, pages 105-118. Akademie der Wissenschaften der DDR, Institut für Informatik und Rechentechnik, 1988.

Abstract: An approach for automatic verification of Estelle specification is represented. A verification oriented subset of the language is used for this purpose. The transformation of verification oriented Estelle specifications into Petri nets and the next following analysis are described.

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

Back to the Petri Nets Bibliography