Z3定理验证工具认领

0粉丝

Z3 是来自微软研究院的的一个定理验证工具。使用Visual Studio命令提示符在Windows上构建Z332位版本python scripts/

简介

Z3 是来自微软研究院的的一个定理验证工具。使用Visual Studio命令提示符在Windows上构建Z332位版本python scripts/mk_make.py或者，对于64位版本：python scripts/mk_make.py -x然后：cd buildnmake... 更多

其它信息

授权协议

MIT

开发语言

C/C++

操作系统

跨平台

软件类型

开源软件

所属分类

程序开发、数学计算

开源组织

微软

地区

不详

适用人群

未知

开源地址

https://www.proginn.com/w/1493193

时光轴

里程碑1

LOG2

2023

09-30

轻识收录

打卡

我要打卡

评价

0.0（满分 10 分）0 个评分

10分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

JSLintJavaScript验证工具

JSLint是一个JavaScript验证工具（非开源），可以扫描JavaScript源代码来查找问

JSLintJavaScript验证工具

JSLint是一个JavaScript验证工具（非开源），可以扫描JavaScript源代码来查找问题。如果JSLint发现一个问题，JSLint就会显示描述这个问题的消息，并指出错误在源代码中的大致

DVTkDICOM验证工具

1)DVTk的内容DVTk应该算是公认的最完善的免费DICOM验证工具了。不过发现很多人只知道用标准的DVT，然后被复杂的脚本吓住。抽时间仔细看了一下网站，发现网站上其实有很多的定制工具http://

DVTkDICOM验证工具

1) DVTk的内容DVTk应该算是公认的最完善的免费DICOM验证工具了。不过发现很多人只知道用标

ts-rulesTypescript JSON 验证工具

TypescriptJSON验证工具，主要设计来验证复杂的约束需求。安装npm install ts-rules --save使用es6importimport {rules} from 'ts-ru

EziDebugFPGA硬件验证工具

EziDebug是一款用于支持FPGA硬件验证的辅助软件，从全可视化角度支持FPGA工程的调试，简化繁杂的调试过程，通过该软件能很快查找出代码中的错误，加快硬件验证的进度。整个软件安装方便，界面简洁，

PydanticPython 数据验证工具

pydantic：使用 Python 类型注解进行数据验证和设置管理；快速且可扩展，pydantic

PSVJS 数据格式验证工具

PorcoSchemaValidate(psv)psv 是一款轻量级 JS 数据格式验证工具，相比于其他功能齐备的验证工具，psv 的优势在于体积非常小，最开始的核心代码只有130行。因此 psv 非

EziDebugFPGA硬件验证工具

EziDebug 是一款用于支持FPGA硬件验证的辅助软件，从全可视化角度支持FPGA工程的调试，简

PydanticPython 数据验证工具

pydantic：使用Python类型注解进行数据验证和设置管理；快速且可扩展，pydantic 可以很好地与你的linters/IDE/brain 配合使用。Pydantic在运行时强制执行类型提示