A mixed approach for the formal correctness proof of distributed programs (Articolo in rivista)

Type
Label
  • A mixed approach for the formal correctness proof of distributed programs (Articolo in rivista) (literal)
Anno
  • 1996-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/0950-5849(95)01092-0 (literal)
Alternative label
  • G. Manduchi (1996)
    A mixed approach for the formal correctness proof of distributed programs
    in Information and software technology
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • G. Manduchi (literal)
Pagina inizio
  • 521 (literal)
Pagina fine
  • 538 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • E-ISSN: 1873-6025 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.sciencedirect.com/science/article/pii/0950584995010920 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 38 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 18 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 8 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto Gas Ionizzati del CNR-Associazione EURATOM-ENEA-CNR, Corso Stati Uniti, 4, 35127 Camin, Padova, Italy (literal)
Titolo
  • A mixed approach for the formal correctness proof of distributed programs (literal)
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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it