{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 迷人小祖宗 的问题《Employing NuSMV as a model checker in java》','https://www.manongdao.com/q-841324.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
I'm trying to use NuSMV as a model checker in java. However, I'm not able to find the related JAR library online.
The only one I've found is provided on here for which the download link doesn't work anymore. Apparently, the library exists but the access link is not working.
Does anyone know how I can access NuSMV java API library or know of any alternative way?
Here is a working download link of nusmv-tools which is from the same author and includes the Java front-end you were talking about:
https://code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/downloads
I haven't tested the library out, I just verified that it downloads.