Sciweavers

ATVA
2010
Springer
217views Hardware» more  ATVA 2010»
14 years 3 hour 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