A mixed approach for the formal correctness proof of distributed programs

Gabriele Manduchi

Research output: Contribution to journalArticle

1 Citation (Scopus)


The paper presents a mixed approach in the formal correctness proof of distributed programs. Coloured Petri Nets are used to model the system and proof rules derived both from the Petri Net Theory and the Assertional Reasoning Theory are used to carry out the proof of the desired system properties. A correctness proof of a distributed computing system used in a nuclear fusion experiment is then presented in detail, in order to illustrate the applicability of the proposed methodology in real-world distributed systems.
Original languageEnglish
Pages (from-to)521 - 538
Number of pages18
JournalInformation and Software Technology
Issue number8
Publication statusPublished - 1996
Externally publishedYes


All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

Cite this