Achieving fault tolerance by a formally validated interaction policy (Articolo in rivista)

Type
Label
  • Achieving fault tolerance by a formally validated interaction policy (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fantechi A.; Gnesi S.; Semini L. (2006)
    Achieving fault tolerance by a formally validated interaction policy
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fantechi A.; Gnesi S.; Semini L. (literal)
Pagina inizio
  • 133 (literal)
Pagina fine
  • 152 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Rigorous Engineering of Fault-Tolerant Systems. pp. 133-152. M. Butler et al. (ed.). (Lecture Notes in Computer Science, vol. 4157). Springer-Verlag, 2006. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • Achieving fault tolerance by a formally validated interaction policy (literal)
Abstract
  • This paper presents the rigorous validation of an integrity policy by means of the application of formal methods and related support tools for its specification and verification. The protocol which carries out the integrity policy is formally specified and formally validated, exploiting model-checking. Specific interaction patterns, which subsume the most complex interaction schemata, are considered and temporal logic formulae expressing the non-violation of integrity rules are checked on them. (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


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