Computer Science ›› 2010, Vol. 37 ›› Issue (11): 227-229.
Previous Articles Next Articles
ZHU Wei-jun,ZHOU Qing-lei
Online:
Published:
Abstract: Model checking is used widely in verification of real-time system. Satisfiability of discrete Timed Interval Temporal Logic is decidable, so is model checking of it, But in dense-time domain, the problem of model checking Timed Interval Temporal Logic is not clear. We prove that Satisfiability of Timed Interval Temporal Logic is un-decidable and we find a subset of Timed Interval Temporal Logic which can be decidable. So, it can be decidable to model checking the subset.
Key words: Timed interval temporal logic, Checking the satisfiability, Expressive power, Model checking
ZHU Wei-jun,ZHOU Qing-lei. On the Decidability and Expressive Power of Timed Interval Temporal Logic[J].Computer Science, 2010, 37(11): 227-229.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I11/227
Cited