下载 > 资源分类 >  开发技术 >  其它 > Proof-Carrying Code

Proof-Carrying Code

2009-08-31 上传大小:42KB

Proof-carrying code is a framework for the mechanical
verification of safety properties of machine language
programs, but the problem arises of quis custodiat ipsos
custodes—who will verify the verifi
er itself? Foundational
proof-carrying code is verification from the smallest
possible set of axioms, using the simplest possible verifier
and the smallest possible runtime system. I will describe
many of the mathematical and engineering problems
to be solved in the construction of a foundational
proof-carrying code system.
...展开收缩
综合评分:1(1位用户评分)
开通VIP C币充值 立即下载

评论共有1条

eric72zhou2015-06-19 10:02:28
10页的论文也放在这里下载?花我3个积分!

登录后才能评论

 

相关推荐

A Simple Proof of Poncelet’s Theorem 立即下载
积分/C币:0
How to Win the WAAS Proof of Concept 立即下载
积分/C币:0
how-to-write-injection-proof-plsql 立即下载
积分/C币:10
the proof of the book(此版本不好,有重传的版本) 立即下载
积分/C币:3
LeapFTP 媲美Bullet Proof FTP的FTP软件 立即下载
积分/C币:3
A computer-checked proof of the Four Colour Theorem 立即下载
积分/C币:3
Psychology of proof and deductive reasoning in human thinking 立即下载
积分/C币:3
proof theory for fuzzy logics 立即下载
积分/C币:10
[MATLAB图书合集] Applied Signal Processing A MATLAB based proof of concept 立即下载
积分/C币:10
Visual Studio Code 编译器Mac版本 立即下载
积分/C币:5
Mastering Software Testing with JUnit 5_Code 源码 立即下载
积分/C币:2
Visual Studio Code简体中文1.18 正式版(32位) 立即下载
积分/C币:5
write_clean_code(中文版) 立即下载
积分/C币:5
Code Warrior License 破解,各个版本可用,解除32k限制 立即下载
积分/C币:10
.NET C#学生毕业论文管理系统 code&论文 立即下载
积分/C币:2
machine learning for opencv(pdf/epub/azw3/code) 立即下载
积分/C币:5
Visual Studio Code简体中文1.18 正式版(64位) 立即下载
积分/C币:5
C# reader card code 立即下载
积分/C币:3
Begin to Code with C# Part 4 英文原版 立即下载
积分/C币:0
seu smartcar school competition 2017 somebody's code who win the first prize 立即下载
积分/C币:5

热门专辑

VIP会员动态

关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
扫码关注并点击右下角获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

Proof-Carrying Code

会员到期时间: 剩余下载个数: 剩余C币:593 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
(仅够下载10个资源)
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
C币充值 开通VIP
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可奖励5下载分

  • 举报人:
  • 被举报人:
  • 举报的资源分:
  • *类型:
  • *详细原因: