Il model checking ha dimostrato di essere una tecnologia di successo per verificare la correttezza dei requisiti nella progettazione di un consistente numero di sistemi real-time, embedded e safety-critical. Lo scopo di questo breve articolo è di spiegare come funziona.
Model Checking : cos'è e come si applica
Stefania Gnesi
2011
Abstract
Il model checking ha dimostrato di essere una tecnologia di successo per verificare la correttezza dei requisiti nella progettazione di un consistente numero di sistemi real-time, embedded e safety-critical. Lo scopo di questo breve articolo è di spiegare come funziona.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_199965-doc_43919.pdf
solo utenti autorizzati
Descrizione: Model checking
Tipologia:
Versione Editoriale (PDF)
Dimensione
634.02 kB
Formato
Adobe PDF
|
634.02 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.
