NuSmv

[Yuwei Wong]

hello:

there is a question about adding some function to my emaces. i used NuSmv in 
my Uni lab, then i download the NuSMV binaries Pre-compiled version , but i 
dont know how to get it work in my computer. r there any body can fix my 
problem? thx a lot.

NuSmv: http://nusmv.irst.itc.it/

Alex Wong

_________________________________________________________________
Add photos to your e-mail with MSN 8. Get 2 months FREE*. 
http://join.msn.com/?page=features/featuredemail