... Cavada
1
ITC-irst, Trento, Italy, cavada@irst.itc.it
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
...gNuSMV\xspace
2
See at http://nusmv.irst.itc.it/gnusmv
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
... checker
3
See at http://nusmv.irst.itc.it
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .