String command = Thread.currentThread().getContextClassLoader().getResource("NuSMV.exe").getPath()+" "+
Thread.currentThread().getContextClassLoader().getResource("asmv.txt").getPath();
String command = Thread.currentThread().getContextClassLoader().getResource("NuSMV.exe").getPath()+" "+
Thread.currentThread().getContextClassLoader().getResource("asmv.txt").getPath();
转载于:https://www.cnblogs.com/chenzhengwei/p/10735566.html