Appunti VERIFICATO
dispense lezioni
74 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Il corso presenta tecniche formali per la modellazione e verifica di sistemi hardware/software, usando linguaggi di specifica, fondamenti teorici delle metodologie di analisi (validazione e verifica) e strumenti automatici.
- I metodi formali sono notazioni rigorose che descrivono sistemi in termini matematici, permettendo l'astrazione del sistema per focalizzarsi sulle proprietà principali. Esistono formalismi operazionali e dichiarativi con limiti come la possibilità di errori nella specifica formale.
- La validazione valuta se un sistema soddisfa i requisiti, mentre la verifica controlla se le condizioni imposte a una fase di sviluppo sono raggiunte. Esempi di formalismi operazionali e dichiarativi vengono forniti con discussione delle loro caratteristiche.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.