首页> 外文OA文献 >Formal Verification of Secure Programs in the Presence of Side Effects

【2h】

Formal Verification of Secure Programs in the Presence of Side Effects

机译：带有副作用的安全程序的形式验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Paul E. Black; Phillip J. Windley;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs [J] . Sylvie Boldo, Claude Marché Mathematics in Computer Science . 2011,第4期

机译：数值程序的形式验证：从C注释程序到机械证明
2. Formal Verification of Numerical Programs:From C Annotated Programs to Mechanical Proofs [J] . Sylvie Boldo, Claude Marche Mathematics in computer science . 2011,第4期

机译：数值程序的形式验证：从C注释程序到机械证明
3. Formal verification of a programming logic for a distributed programming language [J] . Cui Zhang, Ronald A. Olsson, Karl N. Levitt Theoretical computer science . 1999,第1a2期

机译：对分布式编程语言的编程逻辑的形式验证
4. Formal verification of secure programs in the presence of side effects [C] . Paul E.Black, Phillip J.Windley Hawaii international conference on system science;HICSS-31 . 1998

机译：在存在副作用的情况下对安全程序进行形式验证
5. A Secure and Formally Verified Commodity Multiprocessor Hypervisor [D] . Li, Shih-Wei. 2021

机译：安全和正式验证的商品多处理器管理程序
6. Formal quality-assessment and utilization-review programs: their effects on the basic transactions of medical education. [O] . R. M. Magraw 1976

机译：正式的质量评估和使用审查程序：它们对医学教育基本交易的影响。
7. C, Lambda Calculus and Compiler Verification - a study in Haskell of purely-functional techniques for a formal specification of imperative programming languages and an epistemically-sound verification of their compilers [O] . Zadarnowski Patryk Computer Science Engineering Faculty of Engineering UNSW 2011

机译：C，Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号