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
Applications of Formal Methods for Validating an Interaction Policy
Fantechi A;
2004
Abstract
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 dependabilityFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160657-doc_125265.pdf
accesso aperto
Descrizione: Applications of Formal Methods for Validating an Interaction Policy
Dimensione
365.46 kB
Formato
Adobe PDF
|
365.46 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
