[an error occurred while processing this directive]
и ыщчоhttp://nusmv.irst.itc.it/http://www.cs.cmu.edu/~modelcheck/smv.html
E-mail: info@telesys.ru