Computer Science ›› 2009, Vol. 36 ›› Issue (6): 150-152.

Previous Articles     Next Articles

YANG Xiao-xiao DUAN Zhen-hua ( Institute of Computing Theory and Technology, Xidian University, Xi'an 710071,China)   

  • Online:2018-11-16 Published:2018-11-16

Abstract: Invariance properties are very central in concurrent software systems. Thinking by virtue of establishing an invariant and preserving it has immediate implications for reasoning about programs and their design. In this paper, we emploied an interval tempo

Key words: Temporal logic programs, Normal forms,Well-founded relation, Well-founded induction, Invariants proofs

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!