Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Semini L. Applications of Formal Methods for Validating an Interaction Policy. The document Journal: Formal Aspects of Computing, Technical report, 2004.
We describe here an experience in the application of formal methods to the design of fault-tolerant systems. The experience was done inside an applied research project. The input for our validation is an interaction policy between communicating objects, the Multiple Levels of Integrity policy, which has been defined within the project to enhance systems dependability
Subject Model Checking, Obiect Oriented design, dependable systems
D.2.4 Software/Program Verification

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