We use cookies to improve your experience with our site.
Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.
Citation: Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.

Completeness of the Accumulation Calculus

  • 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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return