Data di Pubblicazione:
2006
Abstract:
Strumento sofware per la modellazzione e la verifica formale (model checking) di sistemi concorrenti descritti tarmite statecharts.
Tipologia CRIS:
05.11 Software
Keywords:
model-checking; verifica formale; descrizione formale; simulazione
Elenco autori:
Mazzanti, Franco
Link alla scheda completa: