【求助】NuSMV的真正用途？

本人研一，导师给了个NuSMV的事情做，但是我不感兴趣，只想写写代码，搞搞开发，毕业工作娶媳妇，老师说我眼界窄…，求大神们给意见…