2004
Report
Open Access
Applications of Formal Methods for Validating an Interaction Policy
Fantechi A., Gnesi S., Semini L.
Model Checking Obiect Oriented design dependable systems
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
Source: ISTI Technical reports, pp.1–33, 2004
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160657,
title = {Applications of Formal Methods for Validating an Interaction Policy},
author = {Fantechi A. and Gnesi S. and Semini L.},
institution = {ISTI Technical reports, pp.1–33, 2004},
year = {2004}
}CNR authorsLaboratories
0000-0002-4648-4667