2006
Journal article
Unknown
Achieving fault tolerance by a formally validated interaction policy
Fantechi A., Gnesi S., Semini L.
ntegrity policies Fault tolerance Process algebras
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.
Source: Lecture notes in computer science (2006): 133–152.
Publisher: Springer, Berlin , Germania
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:43861,
title = {Achieving fault tolerance by a formally validated interaction policy},
author = {Fantechi A. and Gnesi S. and Semini L.},
publisher = {Springer, Berlin , Germania},
journal = {Lecture notes in computer science},
pages = {133–152},
year = {2006}
}CNR authorsLaboratories
0000-0002-0139-0421CNR ExploRA