Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Petri net based verification of distributed algorithms

An example
 
: Kindler, E.; Reisig, W.; Völzer, H.; Walter, R.

:

Formal aspects of computing 9 (1997), No.3, pp.409-424
ISSN: 0934-5043
English
Journal Article
Fraunhofer ISST ()
correctness; distributed algorithms; modelling; petri net; temporal logic; verification technique

Abstract
A technique to model and to verify distributed algorithms is suggested. This technique (based on Petri Nets) reduces the modelling and analysis effort to a reasonable level. The paper outlines the technique using the example of a typical network algorithm, the echo algorithm.

: http://publica.fraunhofer.de/documents/PX-28303.html