VST:经过验证的软件工具链源码

上传：qqtract19534 浏览： 11 推荐： 0 文件：ZIP 大小：8.61MB 上传时间：2021-02-21 13:27:45 版权申诉

来自 , , , , , , ,,王钦石等。文件包含有关版权,许可和权限的信息。如何安装: 。说明文件: 描述了该项目的目标,并具有许多相关出版物的链接。有关如何使用Verifiable C的介绍,请,或参阅以获得有关练习的教程。 ,安德鲁·W·阿Perl(Andrew W. Appel)等人,剑桥大学出版社,2014年。。

上传资源

smack SMACK软件验证程序和验证工具链源码

SMACK既是模块化软件验证工具链,又是独立的软件验证程序。它可以用来验证其输入程序中的断言。在默认模式下,对声明进行验证,直到达到循环迭代和递归深度的给定界限为止; 它还包含对无边界验证的实验支

2021-02-02 00:00

区块链验证程序bcverifier区块链验证工具源码

BCVerifier(区块链验证程序) 概述该工具的目标是验证区块链块和交易的完整性。支持的区块链平台 Hyperledger Fabric v1.4 Hyperledger Fabric v2.

2021-02-25 03:25

vst电视的软件

可以用在网络机顶盒及网络电视机上安装的看电视软件

2019-05-08 06:00

cakeml CakeML经过验证的ML实现源码

CakeML项目: ://cakeml.org CakeML是标准ML的重要子集的经过验证的实现。 CakeML的源代码和证明是在中开发的。我们使用的最新开发版本,该版本基于构建。示例构建说明可在

2021-02-02 00:04

网络连接工具vsT人工具vsT人工具

可查看与自己电脑有连接的软件连接情况，当前所有进程名称，端口等。具有手动断开连接功能。

2020-06-02 16:00

松下PLC解密软件经过实际运行验证

内含两个软件，均经过实际运行验证，可破解FP0,FP1,FP2等松下PLC，FP2-C1与FP2-C2均做过论证。

2018-12-09 00:19

verified issuer以太坊的经过验证的发行人和经过验证的支付令牌的参考实现源码

经过验证的现金和零息债券代币发行人该项目的目的是为在以太坊上发行经过验证的数字现金代币创建一个参考实现,以便开发人员可以在其他区块链平台上创建类似的实现。此实现遵循ERC20标准,因为我们希望数字

2021-04-26 10:03

VST全聚合视频工具软件

支持超级电视直播的视频软件，700多个直播电视台以及上万部影视节目等你来看。

2019-05-08 06:01

android视频软件VST全聚合源码

基于android电视开发的视频软件，有需要的可以下载参考，源代码为VST全聚合软件源码

2019-09-20 07:31

VST插件工具插件工具

VST插件工具插件工具

2020-03-28 07:37

VST直播软件分享

VST直播软件分享

2019-02-11 16:01

SXML经过正式验证的有界堆栈XML库源码

SXML:经过正式验证的有界堆栈XML库

2021-02-09 05:34

百万级词库经过验证

因工作需要，最近在做自然语言处理方面的研究，第一步需要实现中文分词，市面上有许多开源的分词组件，本人使用的是word分词，但这些开源组件中的词库都比较小，因此这段时间主要是在网上爬了各种词库，并通过X

2019-01-19 11:40

经过验证的sky870包

这个sky870包经过详尽的测试和验证，确保它的质量和性能。无论您是想使用它进行软件开发，编写代码文件，还是用它来创建演示文稿模板，这个经过验证的sky870包都可以满足您的需求。它是一个多功能的文件

2023-06-30 20:02

CompCert经过CompCert正式验证的C编译器源码

CompCert:经过CompCert正式验证的C编译器

2021-02-02 00:05