首页> 美国政府科技报告 >Proving Real-Time Properties of Programs with Temporal Logic

【24h】

Proving Real-Time Properties of Programs with Temporal Logic

机译：用时态逻辑证明程序的实时属性

获取原文

页面导航

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

摘要

No abstract available.

著录项

作者
Bernstein, A.; Harter, P. K.;
展开▼
作者单位

展开▼
年度 1981
页码 p.1-13
总页数 13
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programming; Programmers; Real time; Computer logic; Reprints;

机译：计算机编程;程序员;实时;计算机逻辑;重印;

相似文献

外文文献
中文文献
专利

1. Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software [J] . Yajun WU, Satoshi YAMANE IEICE transactions on information and systems . 2020,第4期

机译：模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
2. ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real-Time System Specifications in Statechart [J] . Kwang-Il KO, Kyo C. KANG IEICE Transactions on Information and Systems . 1999,第2期

机译：ASADAL / PROVER：用于验证Statechart中实时系统规范的时间特性的工具集
3. A new algebraic tool for Automatic Theorem Provers Multisemilattice: A structure to improve the efficiency of provers in temporal logics [J] . P. Cordero, G. Gutierrez, J. Martinez, Annals of Mathematics and Artificial Intelligence . 2004,第4期

机译：自动定理证明多重半精算的新代数工具：一种提高时间逻辑证明者效率的结构
4. Proving real-time properties of programs with temporal logic [C] . Arthur Bernstein, Paul K. Harter, PPaul K. Harter ACM symposium on Operating systems principles . 1981

机译：用时间逻辑证明程序的实时属性
5. Proving properties of programs using automatically generated models. [D] . Binard, Franck J. L. 2002

机译：使用自动生成的模型证明程序的属性。
6. Logics and properties of a genetic regulatory program that drives embryonic muscle development in an echinoderm [O] . Carmen Andrikou, Chih-Yu Pai, Yi-Hsien Su, 2015

机译：驱动棘皮动物胚胎肌肉发育的遗传调控程序的逻辑和特性
7. A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs [O] . Mall R, Patnaik LM 1991

机译：偏序的时间逻辑，用于分析分布式程序的实时属性
8. Temporal-Logic Theorem Proving [R] . Abadi, M. 1987

机译：时态逻辑定理证明

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号