1995
Conference article
Metadata Only Access
Un'esperienza di specifica e verifica formale di un sottosistema di segnalamento ferroviario
Anselmi A, Bernardeschi C, Fantechi A, Gnesi S, Larosa S, Mongardi G, Torielli F
Software
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.
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:409082,
title = {Un'esperienza di specifica e verifica formale di un sottosistema di segnalamento ferroviario},
author = {Anselmi A and Bernardeschi C and Fantechi A and Gnesi S and Larosa S and Mongardi G and Torielli F},
year = {1995}
}
0000-0002-4648-4667CNR IRIS