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:
Published:
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
YANG Xiao-xiao DUAN Zhen-hua ( Institute of Computing Theory and Technology, Xidian University, Xi'an 710071,China). [J].Computer Science, 2009, 36(6): 150-152.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I6/150
Cited