Z3定理验证工具
Z3 是来自微软研究院的的一个定理验证工具。
使用Visual Studio命令提示符在Windows上构建Z3
32位版本
python scripts/mk_make.py
或者,对于64位版本:
python scripts/mk_make.py -x
然后:
cd build nmake
评论
JSLintJavaScript验证工具
JSLint是一个JavaScript验证工具(非开源),可以扫描JavaScript源代码来查找问题。如果JSLint发现一个问题,JSLint就会显示描述这个问题的消息,并指出错误在源代码中的大致
JSLintJavaScript验证工具
0
DVTkDICOM验证工具
1)DVTk的内容DVTk应该算是公认的最完善的免费DICOM验证工具了。不过发现很多人只知道用标准的DVT,然后被复杂的脚本吓住。抽时间仔细看了一下网站,发现网站上其实有很多的定制工具http://
DVTkDICOM验证工具
0
ts-rulesTypescript JSON 验证工具
TypescriptJSON验证工具,主要设计来验证复杂的约束需求。安装npm install ts-rules --save使用es6importimport {rules} from 'ts-ru
ts-rulesTypescript JSON 验证工具
0