Rank Predicates vs. Progress Measures in Concurrent-Program Verification

Moshe Y. Vardi

首页> 外文期刊>Chicago Journal of Theoretical Computer Science >Rank Predicates vs. Progress Measures in Concurrent-Program Verification

【24h】

Rank Predicates vs. Progress Measures in Concurrent-Program Verification

机译：并行程序验证中的排名谓词与进度度量

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.

机译：本说明描述了并行程序验证中等级谓词与进度度量之间的直接关系。

著录项

来源
《Chicago Journal of Theoretical Computer Science》 |1996年第5期|共页
作者
Moshe Y. Vardi;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. THE INVARIANT ALGEBRA OF RANK PREDICATES AS A TOOL FOR SYNTHESIS OF NONPARAMETRIC DETECTORS WITH CODING OF THE CHANNEL NUMBER BY RANK [J] . A. D. Polonskii Radioelectronics and Communications Systems . 2003,第11期

机译：秩的不变代数作为用于合成非参数探测器的工具，并用秩来编码通道数。
2. Measuring progress in order-verification within software development projects [J] . Patrick Knupp, Curtis C. Ober, Ryan B. Bond Engineering with Computers . 2007,第4期

机译：评估软件开发项目中的订单验证进度
3. Measuring progress in Premo order-verification [J] . Ryan B. Bond, Curtis C. Ober, Patrick M. Knupp Engineering with Computers . 2007,第4期

机译：测量Premo订单验证的进度
4. Predicate Encryption from Bilinear Maps and One-Sided Probabilistic Rank [C] . Josh Alman, Robin Hui Theory of cryptography conference . 2019

机译：双线性映射和单边概率等级的谓词加密
5. Unbounded system verification using decision procedure and predicate abstraction. [D] . Lahiri, Shuvendu K. 2004

机译：使用决策程序和谓词抽象进行无限制的系统验证。
6. Proton range verification in inhomogeneous tissue: Treatment planning system vs. measurement vs. Monte Carlo simulation [O] . Dae-Hyun Kim, Sungkoo Cho, Kwanghyun Jo, -1

机译：非均质组织中的质子范围验证：治疗计划系统vs.测量结果与Monte Carlo模拟
7. Progress Measures for Verification Involving Nondeterminism [O] . Klarlund, Nils, Schneider, Fred B. 1990

机译：涉及不确定性的验证进展措施
8. Progress Measures for Verification Involving Nondeterminism [R] . Klarlund, N., Schneider, F. B. 1990

机译：涉及非确定性的核查进展措施

Rank Predicates vs. Progress Measures in Concurrent-Program Verification

摘要

著录项

相似文献

相关主题

期刊订阅