A mixed approach for the formal correctness proof of distributed programs

Gabriele Manduchi

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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
Volume38
Issue number8
DOIs
Publication statusPublished - 1996
Externally publishedYes

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

Cite this