Sciweavers

ATVA
2010
Springer
217views Hardware» more  ATVA 2010»
14 years 24 days ago
LTL Can Be More Succinct
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
Kamal Lodaya, A. V. Sreejith