research how to run NuSMV on java code and get the return value;