XSPIN-SPIN的图形界面工具 时间:2015-11-10 15:31:59 【文件属性】: 文件名称:XSPIN-SPIN的图形界面工具 文件大小:185KB 文件格式:TCL 更新时间:2015-11-10 15:31:59 模型检测 SPIN XSPIN 图形界面 XSPIN是用java编写的spin的图形界面,大家应该在期刊论文上经常看到这个工具吧。让检测结果以图形的形式出现,大大增强的spin的易用性。有它产生的图,论文会翔实很多。要装jdk,要在cygwin下使用。 立即下载