The application of formal methods in the rigorous de nition and analysis of the functionality and the behaviour of a system, promises the ability of showing that the system is correct. Given such a promise, that is already out since several years, it is astonishing to see how little formal methods are actually used in the safety critical system industry, though the use of formal methods is increasingly required by the international standards and guidelines for the development of complex systems.
Formal specification and verification of complex systems
Gnesi S
2003
Abstract
The application of formal methods in the rigorous de nition and analysis of the functionality and the behaviour of a system, promises the ability of showing that the system is correct. Given such a promise, that is already out since several years, it is astonishing to see how little formal methods are actually used in the safety critical system industry, though the use of formal methods is increasingly required by the international standards and guidelines for the development of complex systems.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_68423-doc_123210.pdf
solo utenti autorizzati
Descrizione: Formal specification and verification of complex systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
156.57 kB
Formato
Adobe PDF
|
156.57 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
