首页>外文会议>其他>International Workshop on the HOL Theorem Proving System and Its Applications

International Workshop on the HOL Theorem Proving System and Its Applications

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Reasoning About Software

机译：关于软件的推理
- 作者：Hale R.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
2.Integrating A First-order Automatic prover In The HOL Environment

机译：整合在HOL环境中的一阶自动箴言
- 作者：Kumar R.;Kropf T.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
3.Using HOL To Produce Custom Verification Tools

机译：使用HOL生成自定义验证工具
- 作者：Shepherd D.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
4.Learning To Use HOL

机译：学习使用HOL
- 作者：Loewenstein P.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
5.A Package For Inductive Relation Definitions In HOL

机译：HOL中的归纳关系定义包装
- 作者：Melham T.F.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
6.An HOL Theory For Logic States with Indeterminate Strengths

机译：具有不确定优点的逻辑状态的HOL理论
- 作者：Gambles J.W.;Windley P.J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
7.Verification Of Composed Hardware Systems Using CCS

机译：使用CCS验证组成的硬件系统
- 作者：Schubert E.T.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
8.Formal Hardware Verification In Hol And In Boyer-moore: A Comparative Analysis

机译：HOL和Boyer-Moore的正式硬件验证：比较分析
- 作者：Angelo C.M.;Verkest D.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
9.Proof Of Program Transformations

机译：计划转换证明
- 作者：Roxas R.;Newey M.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
10.Defining Recursive Functions In HOL

机译：在HOL中定义递归功能
- 作者：Ploegaerts W.;Claesen L.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
11.HOL Around The World

机译：世界各地
- 作者：Kalvala S.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
12.Dealing With Temporal Complexity in hardware verification

机译：处理硬件验证中的时间复杂性
- 作者：Herbert J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
13.Program Transformations And Refinements In HOL

机译：HOL中的程序转换和改进
- 作者：von Wright J.;Sere K.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
14.Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic

机译：在高阶逻辑中使用类型实现和验证有限状态机器
- 作者：Shiu-Kai Chin;Birtwistle G.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
15.Design Choices In Specification Languages And Verification Systems

机译：规范语言和验证系统中的设计选择
- 作者：Rushby J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
16.A Verified Compiler For A Structured Assembly Language

机译：用于结构化汇编语言的已验证编译器
- 作者：Curzon P.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
17.Verifying Arithmetic Hardware In Higher-order Logic

机译：以高阶逻辑验证算术硬件
- 作者：Shiu-Kai Chin;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
18.The Need For Formal Verification In Hardware Design And What Formal Verification Has Not Done For Me Lately

机译：硬件设计中正式验证的必要性以及最近对我的正式验证
- 作者：Keutzer K.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
19.Case Studies In Compiler Correctness Using HOL

机译：使用HOL的编译器正确性的案例研究
- 作者：Martin D.F.;Toal R.J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
20.Reasoning About Petri Nets In HOL

机译：关于HOL中Petri网的推理
- 作者：de Barros Lucena E.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
21.Recursive Boolean Functions In HOL

机译：在HOL中的递归布尔函数
- 作者：Andersen F.;Petersen K.D.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
22.Implementing A Real-time Process Algebra In HOL

机译：在HOL中实施实时过程代数
- 作者：Gerber R.;Gunter E.L.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
23.Window Inference In The HOL System

机译：窗口推断在HOL系统中
- 作者：Grundy J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
24.Industrial Application Of Theorem Proving To System Level Design

机译：系统级设计的理论工业应用
- 作者：Bainbridge S.;Camilleri A.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
25.Developing An Interface For HOL

机译：开发HOL的界面
- 作者：Kalvala S.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
26.Formalization Of VHDL Synthesis Procedure In Higher-order Logic

机译：高阶逻辑中VHDL合成程序的形式化
- 作者：Xinning Wang;Stabler E.P.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
27.Verification Of Integrated Subsystems

机译：验证集成子系统
- 作者：Schubert E.T.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
28.Proceedings Of The 1991 International Workshop On The Hol Theorem Proving System And Its Applications

机译：1991年国际讲习班关于HOL定理制度及其应用的诉讼程序
- 作者：Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
29.A Simple Graph Theory And Its Application In Railway Signaling

机译：简单的图形理论及其在铁路信令中的应用
- 作者：Wai Wong;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
30.Mechanical Verification Of Secure Distributed systems In Higher Order Logic

机译：高阶逻辑中安全分布式系统的机械验证
- 作者：Alves-Foss J.;Levitt K.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
31.An Informal Discussion Of Issues In Mechanically-assisted Reasoning

机译：对机械辅助推理问题的非正式讨论
- 作者：Kaufmann M.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
32.Mechanizing Program Verification in HOL

机译：HOL中的机械化程序验证
- 作者：Agerholm S.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
33.PM: A Proof Manager For HOL And Other Provers

机译：PM：用于HOL和其他普罗瓦的证据经理
- 作者：Fink G.;Archer M.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
34.Author Index

机译：作者索引
- 作者：Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
35.Introduction To The Hol System

机译：HOL系统介绍
- 作者：Gordon M.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
36.Mechanizing Security In HOL

机译：HOL中的机械化安全
- 作者：Harrison W.L.;Levitt K.N.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
37.First Steps Towards Automating Hardware Proofs In HOL

机译：第一步是在HOL中自动化硬件证明的步骤
- 作者：Kumar R.;Kropf T.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
38.Proof Based Computation

机译：基于证明的计算
- 作者：Newey M.C.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
39.On The Use Of The HOL System For Protocol Verification

机译：关于HOL系统进行协议验证
- 作者：Cardell-Oliver R.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
40.A Report On ICL HOL

机译：关于ICL HOL的报告
- 作者：Arthan R.D.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
41.Mechanizing The Temporal Logic Of Actions In HOL

机译：机械化在HOL中的时间逻辑
- 作者：von Wright J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年
42.The Practical Verification of Microprocessor Designs

机译：微处理器设计的实际验证
- 作者：Windley P.J.;Institute of Electric and Electronic Engineer
- 会议名称：《International Workshop on the HOL Theorem Proving System and Its Applications》 | 2001年