abstract
GROOVE è un set di tool sviluppato dall'Università di Computer Science di Twente per fare model checking di sistemi software, utilizzando le grammatiche per grafi. Il progetto ha l'obiettivo di sperimentarne le principali funzionalità, utilizzandolo per modellare algoritmi di Spatial Computing, calcolo del gradiente e calcolo del cammino minimo tra due nodi, su reti che evolvono dinamicamente.
references
outcomes
