PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S. Model Checking cos' e come si applica. In: Mondo Digitale, vol. 38/39 pp. 29 - 38. AICA, 2011.
 
 
Abstract
(English)
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.
Abstract
(Italiano)
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.
URL: http://www.mondodigitale.net/
Subject Model Checking
Verifica formale
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional