The integration of different dependability techniques is an open research question. We address problems that arise when attempting to combine fault tolerance mechanisms with formal methods and formal verification tools in the development of an embedded system.
Model checking of embedded systems
Gnesi S
2003
Abstract
The integration of different dependability techniques is an open research question. We address problems that arise when attempting to combine fault tolerance mechanisms with formal methods and formal verification tools in the development of an embedded system.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_68267-doc_123224.pdf
accesso aperto
Descrizione: Model checking of embedded systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
104.37 kB
Formato
Adobe PDF
|
104.37 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
