PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Anselmi A., Bernardeschi C., Fantechi A., Gnesi S., Larosa S., Mongardi G., Torielli F. Un'esperienza di specifica e verifica formale di un sottosistema di segnalamento ferroviario. In: Aica Congresso Annuale Atti (Chia, Cagliari, Italia, 27-29 Settembre 1995). Atti, vol. 1 pp. 71 - 78. 1995.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
Viene descritta un'esperienza fatta in un progetto pilota di rivalidazione- mediante specifica e verifica formale- della specifica semi-formale di un sottosistema software di controllo ferroviario.In questo progetto stato utilizzato l'ambiente di specifica grafico/algebrica e verifica logica JACK, che integra una serie di strumenti software di specifica e verifica di sistemi concorrenti e distribuiti, offrendo un'interfaccia grafica per facilitare l'uso degli strumenti.L'esperienza effettuata ci ha permesso di concludere che il metodo formale applicabile con successo alla verifica di sistemi reali.
Subject


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