PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Semini L. Achieving fault tolerance by a formally validated interaction policy. M. Butler et al. (eds.). (Lecture Notes in Computer Science, vol. 4157). Heidelberg: Springer-Verlag, 2006.
 
 
Abstract
(English)
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.
Subject Integrity policies
Fault tolerance
Process algebras
Model checking
D.2.4 Software/Program Verification
F.4 Mathematical Logic and Formal Languages


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional