DOI10.1016/j.jcss.2011.08.006zbMath1245.03022MaRDI QIDQ439961
Amir Pnueli, Moshe Y. Vardi, Orna Kupferman
Publication date: 17 August 2012 Published in: Journal of Computer and System Sciences (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.006
zbMATH Keywords
temporal logic; expressive power; decision procedures; alternating automata; past-time operators
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic