| Completeness of the Accumulation Calculus |
| |
| 引用本文： | Yu Huiqun,Song Guoxin,Sun Yongqiang. Completeness of the Accumulation Calculus[J]. 计算机科学技术学报, 1998, 13(1): 25-31. DOI: 10.1007/BF02946611 |
| |
| 作者姓名： | Yu Huiqun Song Guoxin Sun Yongqiang |
| |
| 作者单位： | DepartmentofComputerScienceandEngineeringEastChinaUniversityofScienceandTechnology,Shanghai200237,P.R |
| |
| 基金项目： | This work is supported partially by the National Natural Science Foundation of China under the grant No.69703008. |
| |
| 摘 要： | The accumulation calculs(AC for short)is an interval based temporal logic to specify and reason about hybrid real-time systems.This paper presents a formal proof system for AC,and proves that the system is complete relative to that of Interval Temporal Logic(ITL for short)on real domain.
|
| 关 键 词： | 程序设计语言 累加计算 实时系统 |
Completeness of the accumulation calculus |
| |
| Huiqun Yu,Guoxin Song,Yongqiang Sun. Completeness of the accumulation calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31. DOI: 10.1007/BF02946611 |
| |
| Authors: | Huiqun Yu Guoxin Song Yongqiang Sun |
| |
| Affiliation: | (1) Department of Computer Science and Engineering, East China University of Science and Technology, 200237 Shanghai, P.R. China;(2) Department of Computer Science and Engineering, Shanghai Jiaotong University, 200030 Shanghai, P.R. China |
| |
| Abstract: | The accumulation calculus (AC for short) is an interval based temporal logic to specify and reason about hybrid real-time systems. This paper presents a formal proof system for AC, and proves that the system is complete relative to that of Interval Temporal Logic (ITL for short) on real domain. |
| |
| Keywords: | Interval Temporal Logic accumulation calculus real-time system completeness. |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |
